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) tools, scaling, and auto-generated statements #2445: Pull request #788 synchronize by luisacicolini
November 4, 2024 17:15 6m 39s getmsbd-rotateleft
getmsbd-rotateleft
November 4, 2024 17:15 6m 39s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4242: Pull request #788 synchronize by luisacicolini
November 4, 2024 17:15 3m 42s getmsbd-rotateleft
getmsbd-rotateleft
November 4, 2024 17:15 3m 42s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) tools, scaling, and auto-generated statements #2444: Pull request #788 synchronize by luisacicolini
November 4, 2024 17:13 1m 12s getmsbd-rotateleft
getmsbd-rotateleft
November 4, 2024 17:13 1m 12s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, rotateRight) core library #4241: Pull request #788 synchronize by luisacicolini
November 4, 2024 17:13 48s getmsbd-rotateleft
getmsbd-rotateleft
November 4, 2024 17:13 48s
chore: annotate slow proofs for selectwithbitwidth tools, scaling, and auto-generated statements #2443: Pull request #787 opened by tobiasgrosser
November 4, 2024 16:55 5m 7s annotate_slow_proofs_selectwithbitwidth
annotate_slow_proofs_selectwithbitwidth
November 4, 2024 16:55 5m 7s
chore: annotate slow proofs for selectwithbitwidth core library #4240: Pull request #787 opened by tobiasgrosser
November 4, 2024 16:55 2m 11s annotate_slow_proofs_selectwithbitwidth
annotate_slow_proofs_selectwithbitwidth
November 4, 2024 16:55 2m 11s
chore: update performance plots (#786) core library #4239: Commit ab3bbcd pushed by github-merge-queue bot
November 4, 2024 16:46 2m 13s main
main
November 4, 2024 16:46 2m 13s
chore: update performance plots (#786) tools, scaling, and auto-generated statements #2442: Commit ab3bbcd pushed by github-merge-queue bot
November 4, 2024 16:46 5m 27s main
main
November 4, 2024 16:46 5m 27s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2441: Merge group checks requested
November 4, 2024 16:44 5m 14s
November 4, 2024 16:44 5m 14s
core library core library #4238: Merge group checks requested
November 4, 2024 16:44 1m 56s
November 4, 2024 16:44 1m 56s
chore: update performance plots core library #4237: Pull request #786 opened by tobiasgrosser
November 4, 2024 16:32 2m 1s update-plots-kartoffelpuffer
update-plots-kartoffelpuffer
November 4, 2024 16:32 2m 1s
chore: update performance plots tools, scaling, and auto-generated statements #2440: Pull request #786 opened by tobiasgrosser
November 4, 2024 16:32 5m 17s update-plots-kartoffelpuffer
update-plots-kartoffelpuffer
November 4, 2024 16:32 5m 17s
chore: update data collection script for hacker delight results (#783) core library #4236: Commit 630e887 pushed by github-merge-queue bot
November 4, 2024 13:15 1m 52s main
main
November 4, 2024 13:15 1m 52s
chore: update data collection script for hacker delight results (#783) tools, scaling, and auto-generated statements #2439: Commit 630e887 pushed by github-merge-queue bot
November 4, 2024 13:15 5m 7s main
main
November 4, 2024 13:15 5m 7s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2438: Merge group checks requested
November 4, 2024 13:13 5m 37s
November 4, 2024 13:13 5m 37s
core library core library #4235: Merge group checks requested
November 4, 2024 13:13 1m 58s
November 4, 2024 13:13 1m 58s
chore: run bv_compare unconditionally in LLVM tests (#785) core library #4234: Commit 9535175 pushed by github-merge-queue bot
November 4, 2024 13:11 2m 1s main
main
November 4, 2024 13:11 2m 1s
chore: run bv_compare unconditionally in LLVM tests (#785) tools, scaling, and auto-generated statements #2437: Commit 9535175 pushed by github-merge-queue bot
November 4, 2024 13:11 5m 33s main
main
November 4, 2024 13:11 5m 33s
core library core library #4233: Merge group checks requested
November 4, 2024 13:08 2m 20s
November 4, 2024 13:08 2m 20s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2436: Merge group checks requested
November 4, 2024 13:08 5m 28s
November 4, 2024 13:08 5m 28s
chore: run bv_compare unconditionally in LLVM tests core library #4232: Pull request #785 synchronize by tobiasgrosser
November 4, 2024 13:05 1m 58s bv_compare_unconditionally
bv_compare_unconditionally
November 4, 2024 13:05 1m 58s
chore: run bv_compare unconditionally in LLVM tests tools, scaling, and auto-generated statements #2435: Pull request #785 synchronize by tobiasgrosser
November 4, 2024 13:05 5m 19s bv_compare_unconditionally
bv_compare_unconditionally
November 4, 2024 13:05 5m 19s
chore: run bv_compare unconditionally in LLVM tests core library #4231: Pull request #785 synchronize by tobiasgrosser
November 4, 2024 13:04 1m 43s bv_compare_unconditionally
bv_compare_unconditionally
November 4, 2024 13:04 1m 43s
chore: run bv_compare unconditionally in LLVM tests tools, scaling, and auto-generated statements #2434: Pull request #785 synchronize by tobiasgrosser
November 4, 2024 13:04 5m 31s bv_compare_unconditionally
bv_compare_unconditionally
November 4, 2024 13:04 5m 31s
chore: run bv_compare unconditionally in LLVM tests tools, scaling, and auto-generated statements #2433: Pull request #785 opened by tobiasgrosser
November 4, 2024 12:57 5m 5s bv_compare_unconditionally
bv_compare_unconditionally
November 4, 2024 12:57 5m 5s