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

llvm: define srem operation using BitVec.srem core library #4255: Pull request #795 synchronize by tobiasgrosser
November 7, 2024 01:14 7m 34s llvm_srem
llvm_srem
November 7, 2024 01:14 7m 34s
llvm: define srem operation using BitVec.srem core library #4254: Pull request #795 opened by tobiasgrosser
November 7, 2024 01:11 7m 36s llvm_srem
llvm_srem
November 7, 2024 01:11 7m 36s
llvm: define srem operation using BitVec.srem tools, scaling, and auto-generated statements #2457: Pull request #795 opened by tobiasgrosser
November 7, 2024 01:11 1m 40s llvm_srem
llvm_srem
November 7, 2024 01:11 1m 40s
chore: fix LLVM.mul signed overflow semantics (#792) tools, scaling, and auto-generated statements #2456: Commit 8649a6d pushed by github-merge-queue bot
November 6, 2024 23:29 10m 46s main
main
November 6, 2024 23:29 10m 46s
chore: fix LLVM.mul signed overflow semantics (#792) core library #4253: Commit 8649a6d pushed by github-merge-queue bot
November 6, 2024 23:29 7m 31s main
main
November 6, 2024 23:29 7m 31s
core library core library #4252: Merge group checks requested
November 6, 2024 23:21 7m 40s
November 6, 2024 23:21 7m 40s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2455: Merge group checks requested
November 6, 2024 23:21 11m 13s
November 6, 2024 23:21 11m 13s
chore: fix LLVM.mul signed overflow semantics core library #4251: Pull request #792 opened by tobiasgrosser
November 6, 2024 23:13 7m 53s mul_signed_overflow
mul_signed_overflow
November 6, 2024 23:13 7m 53s
chore: fix LLVM.mul signed overflow semantics tools, scaling, and auto-generated statements #2454: Pull request #792 opened by tobiasgrosser
November 6, 2024 23:13 10m 57s mul_signed_overflow
mul_signed_overflow
November 6, 2024 23:13 10m 57s
chore: fix LLVM semantics for x/y nuw/nsw (#791) core library #4250: Commit 577b877 pushed by github-merge-queue bot
November 6, 2024 22:25 7m 38s main
main
November 6, 2024 22:25 7m 38s
chore: fix LLVM semantics for x/y nuw/nsw (#791) tools, scaling, and auto-generated statements #2453: Commit 577b877 pushed by github-merge-queue bot
November 6, 2024 22:25 11m 11s main
main
November 6, 2024 22:25 11m 11s
core library core library #4249: Merge group checks requested
November 6, 2024 22:17 7m 39s
November 6, 2024 22:17 7m 39s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2452: Merge group checks requested
November 6, 2024 22:17 11m 15s
November 6, 2024 22:17 11m 15s
chore: fix LLVM semantics for x/y nuw/nsw core library #4248: Pull request #791 opened by tobiasgrosser
November 6, 2024 22:09 7m 39s fix_shl
fix_shl
November 6, 2024 22:09 7m 39s
chore: fix LLVM semantics for x/y nuw/nsw tools, scaling, and auto-generated statements #2451: Pull request #791 opened by tobiasgrosser
November 6, 2024 22:09 11m 6s fix_shl
fix_shl
November 6, 2024 22:09 11m 6s
feat: automata decision procedure core library #4247: Pull request #790 synchronize by ineol
November 6, 2024 16:59 4m 1s auto_wf
auto_wf
November 6, 2024 16:59 4m 1s
feat: automata decision procedure tools, scaling, and auto-generated statements #2450: Pull request #790 synchronize by ineol
November 6, 2024 16:59 7m 12s auto_wf
auto_wf
November 6, 2024 16:59 7m 12s
feat: automata decision procedure core library #4246: Pull request #790 opened by bollu
November 6, 2024 15:00 4m 0s auto_wf
auto_wf
November 6, 2024 15:00 4m 0s
feat: automata decision procedure tools, scaling, and auto-generated statements #2449: Pull request #790 opened by bollu
November 6, 2024 15:00 6m 59s auto_wf
auto_wf
November 6, 2024 15:00 6m 59s
chore: fix data collection script for HackersDelight (#789) core library #4245: Commit 5553c02 pushed by github-merge-queue bot
November 5, 2024 00:38 1m 51s main
main
November 5, 2024 00:38 1m 51s
chore: fix data collection script for HackersDelight (#789) tools, scaling, and auto-generated statements #2448: Commit 5553c02 pushed by github-merge-queue bot
November 5, 2024 00:38 5m 2s main
main
November 5, 2024 00:38 5m 2s
core library core library #4244: Merge group checks requested
November 5, 2024 00:35 1m 55s
November 5, 2024 00:35 1m 55s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2447: Merge group checks requested
November 5, 2024 00:35 5m 12s
November 5, 2024 00:35 5m 12s
chore: fix data collection script for HackersDelight core library #4243: Pull request #789 opened by luisacicolini
November 4, 2024 23:56 1m 54s script-hdel-collect
script-hdel-collect
November 4, 2024 23:56 1m 54s
chore: fix data collection script for HackersDelight tools, scaling, and auto-generated statements #2446: Pull request #789 opened by luisacicolini
November 4, 2024 23:56 5m 38s script-hdel-collect
script-hdel-collect
November 4, 2024 23:56 5m 38s