Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,922 workflow runs
6,922 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4267: Pull request #788 synchronize by luisacicolini
November 7, 2024 18:15 7m 56s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 18:15 7m 56s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) tools, scaling, and auto-generated statements #2470: Pull request #788 synchronize by luisacicolini
November 7, 2024 18:15 11m 31s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 18:15 11m 31s
update leanwuzla core library #4266: Pull request #797 opened by tobiasgrosser
November 7, 2024 18:00 10m 44s update-leanwuzla-2
update-leanwuzla-2
November 7, 2024 18:00 10m 44s
update leanwuzla tools, scaling, and auto-generated statements #2469: Pull request #797 opened by tobiasgrosser
November 7, 2024 18:00 22m 43s update-leanwuzla-2
update-leanwuzla-2
November 7, 2024 18:00 22m 43s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) tools, scaling, and auto-generated statements #2468: Pull request #788 synchronize by luisacicolini
November 7, 2024 17:56 10m 53s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 17:56 10m 53s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4265: Pull request #788 synchronize by luisacicolini
November 7, 2024 17:56 8m 1s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 17:56 8m 1s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) tools, scaling, and auto-generated statements #2467: Pull request #788 synchronize by luisacicolini
November 7, 2024 17:16 11m 14s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 17:16 11m 14s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4264: Pull request #788 synchronize by luisacicolini
November 7, 2024 17:16 8m 30s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 17:16 8m 30s
feat: Add exact flag to InstCombine's EDSL tools, scaling, and auto-generated statements #2466: Pull request #796 opened by lfrenot
November 7, 2024 16:04 11m 5s leon/llvm-edsl-exact
leon/llvm-edsl-exact
November 7, 2024 16:04 11m 5s
feat: Add exact flag to InstCombine's EDSL core library #4263: Pull request #796 opened by lfrenot
November 7, 2024 16:04 7m 46s leon/llvm-edsl-exact
leon/llvm-edsl-exact
November 7, 2024 16:04 7m 46s
feat: automata decision procedure tools, scaling, and auto-generated statements #2465: Pull request #790 synchronize by ineol
November 7, 2024 13:35 12m 2s auto_wf
auto_wf
November 7, 2024 13:35 12m 2s
feat: automata decision procedure core library #4262: Pull request #790 synchronize by ineol
November 7, 2024 13:35 8m 43s auto_wf
auto_wf
November 7, 2024 13:35 8m 43s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) tools, scaling, and auto-generated statements #2464: Pull request #788 synchronize by luisacicolini
November 7, 2024 12:49 10m 54s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 12:49 10m 54s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4261: Pull request #788 synchronize by luisacicolini
November 7, 2024 12:49 7m 43s getmsbd-rotateleft
getmsbd-rotateleft
November 7, 2024 12:49 7m 43s
feat: automata decision procedure tools, scaling, and auto-generated statements #2463: Pull request #790 synchronize by ineol
November 7, 2024 09:28 11m 39s auto_wf
auto_wf
November 7, 2024 09:28 11m 39s
feat: automata decision procedure core library #4260: Pull request #790 synchronize by ineol
November 7, 2024 09:28 8m 33s auto_wf
auto_wf
November 7, 2024 09:28 8m 33s
llvm: define srem operation using BitVec.srem (#795) tools, scaling, and auto-generated statements #2462: Commit 4a558f8 pushed by github-merge-queue bot
November 7, 2024 01:40 11m 7s main
main
November 7, 2024 01:40 11m 7s
llvm: define srem operation using BitVec.srem (#795) core library #4259: Commit 4a558f8 pushed by github-merge-queue bot
November 7, 2024 01:40 7m 39s main
main
November 7, 2024 01:40 7m 39s
core library core library #4258: Merge group checks requested
November 7, 2024 01:31 8m 3s
November 7, 2024 01:31 8m 3s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2461: Merge group checks requested
November 7, 2024 01:31 10m 47s
November 7, 2024 01:31 10m 47s
llvm: define srem operation using BitVec.srem core library #4257: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:23 7m 58s llvm_srem
llvm_srem
November 7, 2024 01:23 7m 58s
llvm: define srem operation using BitVec.srem tools, scaling, and auto-generated statements #2460: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:23 11m 4s llvm_srem
llvm_srem
November 7, 2024 01:23 11m 4s
llvm: define srem operation using BitVec.srem tools, scaling, and auto-generated statements #2459: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:18 1m 42s llvm_srem
llvm_srem
November 7, 2024 01:18 1m 42s
llvm: define srem operation using BitVec.srem core library #4256: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:18 7m 28s llvm_srem
llvm_srem
November 7, 2024 01:18 7m 28s
llvm: define srem operation using BitVec.srem tools, scaling, and auto-generated statements #2458: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:14 1m 23s llvm_srem
llvm_srem
November 7, 2024 01:14 1m 23s