Skip to content

Actions: bclement-ocp/alt-ergo

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
288 workflow runs
288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf, with lazy and no leaves Build #193: Commit b5dbc17 pushed by bclement-ocp
July 25, 2024 12:18 8m 13s perf
perf
July 25, 2024 12:18 8m 13s
perf Build #192: Commit baeefe9 pushed by bclement-ocp
July 25, 2024 10:06 12m 4s perf
perf
July 25, 2024 10:06 12m 4s
only ac for logical Build #191: Commit da6761a pushed by bclement-ocp
July 25, 2024 08:38 8m 47s bvac
bvac
July 25, 2024 08:38 8m 47s
derp Build #190: Commit 21bcf33 pushed by bclement-ocp
July 25, 2024 08:37 8m 18s bvac
bvac
July 25, 2024 08:37 8m 18s
bvac Build #189: Commit f617fe1 pushed by bclement-ocp
July 25, 2024 06:42 7m 58s bvac
bvac
July 25, 2024 06:42 7m 58s
subst must always trigger or we miss simplifications Build #188: Commit baae945 pushed by bclement-ocp
July 24, 2024 10:28 7m 36s nf3
nf3
July 24, 2024 10:28 7m 36s
use int for cs Build #187: Commit b8262c0 pushed by bclement-ocp
July 24, 2024 10:22 9m 46s bvcsint
bvcsint
July 24, 2024 10:22 9m 46s
let's pretend we support commutative operators Build #186: Commit 5ce9665 pushed by bclement-ocp
July 24, 2024 09:15 8m 14s smarter
smarter
July 24, 2024 09:15 8m 14s
feat(BV): Add support for bv2nat/int2bv normal forms Build #185: Commit 0f46897 pushed by bclement-ocp
July 24, 2024 07:32 7m 27s bv2nat
bv2nat
July 24, 2024 07:32 7m 27s
bv2arith Build #184: Commit 5e64b04 pushed by bclement-ocp
July 24, 2024 07:31 7m 18s bv2arith
bv2arith
July 24, 2024 07:31 7m 18s
Fixes Build #183: Commit a83eaef pushed by bclement-ocp
July 24, 2024 06:19 8m 45s bvarith-delta
bvarith-delta
July 24, 2024 06:19 8m 45s
also watch result of constraint Build #182: Commit d8a18fc pushed by bclement-ocp
July 24, 2024 06:19 8m 53s nf3
nf3
July 24, 2024 06:19 8m 53s
feat(doc): Versioned documentation pages Build #181: Commit dbfa7a7 pushed by bclement-ocp
July 23, 2024 16:14 11m 30s multidoc
multidoc
July 23, 2024 16:14 11m 30s
chore: Support bytecode-only environments Build #180: Commit 481a01d pushed by bclement-ocp
July 23, 2024 06:41 7m 44s fix-1066
fix-1066
July 23, 2024 06:41 7m 44s
Reorganize documentation Build #179: Commit 9e9249a pushed by bclement-ocp
July 22, 2024 17:13 8m 6s re-doc
re-doc
July 22, 2024 17:13 8m 6s
more stars Build #178: Commit dae4ac9 pushed by bclement-ocp
July 22, 2024 14:30 9m 17s fix-1172
fix-1172
July 22, 2024 14:30 9m 17s
fix(AC, Arith): Use a separate namespace for AC abstractions Build #177: Commit 78dac20 pushed by bclement-ocp
July 22, 2024 14:29 8m 41s fix-1172
fix-1172
July 22, 2024 14:29 8m 41s
fix(AC, Arith): Use a separate namespace for AC abstractions Build #176: Commit 817f710 pushed by bclement-ocp
July 22, 2024 14:22 10m 26s fix-1172
fix-1172
July 22, 2024 14:22 10m 26s
fix(CI): Ensure binary releases have proper version number Build #175: Commit 5f4cf9d pushed by bclement-ocp
July 22, 2024 10:14 8m 26s fix-1131
fix-1131
July 22, 2024 10:14 8m 26s
Remove prerelease flags (#1167) Build #174: Commit 6f843ce pushed by bclement-ocp
July 22, 2024 07:58 14m 4s next
next
July 22, 2024 07:58 14m 4s
Add a test Build #173: Commit 8633358 pushed by bclement-ocp
July 19, 2024 15:39 8m 23s bvmul-soundness
bvmul-soundness
July 19, 2024 15:39 8m 23s
also watch result of constraint Build #172: Commit 8053e0c pushed by bclement-ocp
July 19, 2024 15:09 8m 50s nf3
nf3
July 19, 2024 15:09 8m 50s
fix(BV): Do not lose explanations in bvmul Build #171: Commit 7ce7868 pushed by bclement-ocp
July 19, 2024 12:48 8m 53s bvmul-soundness
bvmul-soundness
July 19, 2024 12:48 8m 53s
Better proof Build #170: Commit faf7599 pushed by bclement-ocp
July 19, 2024 12:43 8m 19s bladd
bladd
July 19, 2024 12:43 8m 19s
feat(CP): Add bitlist propagators for add/sub Build #169: Commit b5d1240 pushed by bclement-ocp
July 19, 2024 12:03 13m 17s bladd
bladd
July 19, 2024 12:03 13m 17s