Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,626 workflow runs
3,626 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(getMsbD, getLsbD, msb)_(neg, abs) (#702) core library #3846: Commit 7c49d9c pushed by github-merge-queue bot
October 15, 2024 08:43 8m 35s main
main
October 15, 2024 08:43 8m 35s
core library core library #3845: Merge group checks requested
October 15, 2024 08:34 8m 26s
October 15, 2024 08:34 8m 26s
feat: make bv_automata' faster core library #3844: Pull request #704 opened by ineol
October 15, 2024 08:18 8m 13s bv_auto_3x
bv_auto_3x
October 15, 2024 08:18 8m 13s
feat: add BitVec.(getMsbD, getLsbD, msb)_(neg, abs) core library #3843: Pull request #702 synchronize by luisacicolini
October 15, 2024 06:48 8m 13s neg-msb-lsb
neg-msb-lsb
October 15, 2024 06:48 8m 13s
feat: add BitVec.(getMsbD, getLsbD, msb)_(neg, abs) core library #3842: Pull request #702 synchronize by luisacicolini
October 15, 2024 06:20 8m 34s neg-msb-lsb
neg-msb-lsb
October 15, 2024 06:20 8m 34s
feat: do not use toNat for division (#703) core library #3841: Commit 01ee836 pushed by github-merge-queue bot
October 14, 2024 18:04 8m 40s main
main
October 14, 2024 18:04 8m 40s
core library core library #3840: Merge group checks requested
October 14, 2024 17:55 8m 16s
October 14, 2024 17:55 8m 16s
feat: do not use toNat for division core library #3839: Pull request #703 opened by tobiasgrosser
October 14, 2024 17:42 8m 25s no_tonat_div
no_tonat_div
October 14, 2024 17:42 8m 25s
Use automatic structures for bv_automata (#685) core library #3838: Commit b52c067 pushed by github-merge-queue bot
October 14, 2024 17:26 8m 16s main
main
October 14, 2024 17:26 8m 16s
core library core library #3837: Merge group checks requested
October 14, 2024 17:18 8m 15s
October 14, 2024 17:18 8m 15s
Use automatic structures for bv_automata core library #3836: Pull request #685 synchronize by ineol
October 14, 2024 17:01 8m 35s automatic-structures
automatic-structures
October 14, 2024 17:01 8m 35s
feat: add BitVec.(getMsbD, getLsbD, msb)_(neg, abs) core library #3835: Pull request #702 opened by luisacicolini
October 14, 2024 15:53 7m 36s neg-msb-lsb
neg-msb-lsb
October 14, 2024 15:53 7m 36s
Remove toNat from LLVM semantics (#699) core library #3834: Commit 5bc7ae4 pushed by github-merge-queue bot
October 14, 2024 13:08 7m 20s main
main
October 14, 2024 13:08 7m 20s
core library core library #3833: Merge group checks requested
October 14, 2024 13:01 7m 0s
October 14, 2024 13:01 7m 0s
Remove toNat from LLVM semantics core library #3832: Pull request #699 synchronize by lfrenot
October 14, 2024 12:53 7m 19s remove-tonat-from-llvm-semantics
remove-tonat-from-llvm-semantics
October 14, 2024 12:53 7m 19s
Remove toNat from LLVM semantics core library #3831: Pull request #699 synchronize by lfrenot
October 14, 2024 12:18 7m 13s remove-tonat-from-llvm-semantics
remove-tonat-from-llvm-semantics
October 14, 2024 12:18 7m 13s
chore: test bv_decide properly for Hacker's delight (#701) core library #3830: Commit 5c0da3d pushed by github-merge-queue bot
October 14, 2024 11:25 3m 2s main
main
October 14, 2024 11:25 3m 2s
core library core library #3829: Merge group checks requested
October 14, 2024 11:22 2m 56s
October 14, 2024 11:22 2m 56s
chore: test bv_decide properly for Hacker's delight core library #3828: Pull request #701 opened by tobiasgrosser
October 14, 2024 11:09 10m 21s bv_decide_proper
bv_decide_proper
October 14, 2024 11:09 10m 21s
chore: update to nightly-2024-10-14 (#700) core library #3827: Commit ca850bb pushed by github-merge-queue bot
October 14, 2024 11:04 10m 11s main
main
October 14, 2024 11:04 10m 11s
core library core library #3826: Merge group checks requested
October 14, 2024 10:54 9m 53s
October 14, 2024 10:54 9m 53s
Remove toNat from LLVM semantics core library #3825: Pull request #699 synchronize by lfrenot
October 14, 2024 10:51 3m 46s remove-tonat-from-llvm-semantics
remove-tonat-from-llvm-semantics
October 14, 2024 10:51 3m 46s
chore: update to nightly-2024-10-14 core library #3824: Pull request #700 synchronize by tobiasgrosser
October 14, 2024 10:44 9m 24s mathlib-spaghetti
mathlib-spaghetti
October 14, 2024 10:44 9m 24s
chore: update to nightly-2024-10-14 core library #3823: Pull request #700 opened by tobiasgrosser
October 14, 2024 10:42 10m 1s mathlib-spaghetti
mathlib-spaghetti
October 14, 2024 10:42 10m 1s
Remove toNat from LLVM semantics core library #3822: Pull request #699 synchronize by lfrenot
October 14, 2024 10:40 3m 31s remove-tonat-from-llvm-semantics
remove-tonat-from-llvm-semantics
October 14, 2024 10:40 3m 31s