Skip to content

Actions: opencompl/lean-mlir

Actions

Build & Evaluate (in Docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
1,618 workflow runs
1,618 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[do not merge] inspecting llc's bejaviour with llvm.sext, llvm.zext and llvm.trunc Build & Evaluate (in Docker) #1618: Pull request #1981 synchronize by luisacicolini
15m 7s luisa/inspect-ext
luisa/inspect-ext
15m 7s
[do not merge] inspecting llc's bejaviour with llvm.sext, llvm.zext and llvm.trunc Build & Evaluate (in Docker) #1617: Pull request #1981 opened by luisacicolini
17m 7s luisa/inspect-ext
luisa/inspect-ext
17m 7s
experimental: toSingleWidth alternate definition Build & Evaluate (in Docker) #1616: Pull request #1980 opened by digama0
Action required digama0:multiwidth-alt
digama0:multiwidth-alt
Action required
chore: updated results Build & Evaluate (in Docker) #1615: Pull request #1979 synchronize by luisacicolini
14m 37s eval-updated
eval-updated
14m 37s
chore: updated results Build & Evaluate (in Docker) #1614: Pull request #1979 opened by luisacicolini
15m 17s eval-updated
eval-updated
15m 17s
blase/chore: add bail out code for solvers when problems are outside … Build & Evaluate (in Docker) #1613: Commit a3f568c pushed by bollu
2m 13s main
main
2m 13s
blase/chore: add bail out code for solvers when problems are outside fragment. Build & Evaluate (in Docker) #1612: Pull request #1978 opened by bollu
2m 28s bail-out-if-outside-fragment
bail-out-if-outside-fragment
2m 28s
feat: implement missing multi -> single width translations (#1977) Build & Evaluate (in Docker) #1611: Commit 513d0d4 pushed by bollu
2m 12s main
main
2m 12s
feat: implement missing multi -> single width translations Build & Evaluate (in Docker) #1610: Pull request #1977 synchronize by bollu
2m 13s blase-missing-tosinglewidth
blase-missing-tosinglewidth
2m 13s
feat: implement missing multi -> single width translations Build & Evaluate (in Docker) #1609: Pull request #1977 synchronize by bollu
14m 25s blase-missing-tosinglewidth
blase-missing-tosinglewidth
14m 25s
feat: implement missing multi -> single width translations Build & Evaluate (in Docker) #1608: Pull request #1977 opened by bollu
14m 43s blase-missing-tosinglewidth
blase-missing-tosinglewidth
14m 43s
feat/blase: implement SMT2 int semantics in our model by adding width… Build & Evaluate (in Docker) #1607: Commit 63fd380 pushed by bollu
15m 7s main
main
15m 7s
feat/blase: implement SMT2 int semantics in our model by adding width precondition checks Build & Evaluate (in Docker) #1606: Pull request #1976 synchronize by bollu
2m 50s blase-width-precondition-checks
blase-width-precondition-checks
2m 50s
feat/blase: implement SMT2 int semantics in our model by adding width precondition checks Build & Evaluate (in Docker) #1605: Pull request #1976 synchronize by bollu
14m 30s blase-width-precondition-checks
blase-width-precondition-checks
14m 30s
feat/blase: implement SMT2 int semantics in our model by adding width precondition checks Build & Evaluate (in Docker) #1604: Pull request #1976 synchronize by bollu
21m 19s blase-width-precondition-checks
blase-width-precondition-checks
21m 19s
feat/blase: implement SMT2 int semantics in our model by adding width precondition checks Build & Evaluate (in Docker) #1603: Pull request #1976 synchronize by bollu
19m 40s blase-width-precondition-checks
blase-width-precondition-checks
19m 40s
feat/blase: align parser semantics to parse sext/zext into extended w… Build & Evaluate (in Docker) #1602: Commit b7dfbed pushed by bollu
2m 54s main
main
2m 54s
feat/blase: align parser semantics to parse sext/zext into extended widths from SMT-LIB. Build & Evaluate (in Docker) #1601: Pull request #1975 synchronize by bollu
3m 28s fix-sext-zext-parsed-widths
fix-sext-zext-parsed-widths
3m 28s
feat/blase: align parser semantics to parse sext/zext into extended widths from SMT-LIB. Build & Evaluate (in Docker) #1600: Pull request #1975 synchronize by bollu
2m 15s fix-sext-zext-parsed-widths
fix-sext-zext-parsed-widths
2m 15s
feat/blase: implement SMT2 int semantics in our model by adding width precondition checks Build & Evaluate (in Docker) #1599: Pull request #1976 opened by bollu
2m 21s blase-width-precondition-checks
blase-width-precondition-checks
2m 21s
feat/blase: align parser semantics to parse sext/zext into extended widths from SMT-LIB. Build & Evaluate (in Docker) #1598: Pull request #1975 opened by bollu
6m 46s fix-sext-zext-parsed-widths
fix-sext-zext-parsed-widths
6m 46s
chore: iterate on widths starting from 1 Build & Evaluate (in Docker) #1597: Commit d0916a0 pushed by bollu
2m 40s main
main
2m 40s
feat/blase: add width multiplication (#1974) Build & Evaluate (in Docker) #1596: Commit ef51606 pushed by bollu
2m 10s main
main
2m 10s
feat/blase: add width multiplication Build & Evaluate (in Docker) #1595: Pull request #1974 opened by bollu
2m 6s blase-add-width-mul
blase-add-width-mul
2m 6s
feat/blase: add slt,sle,setWidth QF_BV translation (#1973) Build & Evaluate (in Docker) #1594: Commit 881e880 pushed by bollu
2m 12s main
main
2m 12s