Skip to content

Actions: opencompl/lean-mlir

Actions

Build & Evaluate (in Docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,618 workflow runs
1,618 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

experimental: toSingleWidth alternate definition
Build & Evaluate (in Docker) #1616: Pull request #1980 opened by digama0
Action required digama0:multiwidth-alt
chore: updated results
Build & Evaluate (in Docker) #1615: Pull request #1979 synchronize by luisacicolini
14m 37s eval-updated
chore: updated results
Build & Evaluate (in Docker) #1614: Pull request #1979 opened by luisacicolini
15m 17s eval-updated
chore: iterate on widths starting from 1
Build & Evaluate (in Docker) #1597: Commit d0916a0 pushed by bollu
2m 40s main
feat/blase: add width multiplication (#1974)
Build & Evaluate (in Docker) #1596: Commit ef51606 pushed by bollu
2m 10s main
feat/blase: add slt,sle,setWidth QF_BV translation (#1973)
Build & Evaluate (in Docker) #1594: Commit 881e880 pushed by bollu
2m 12s main