Skip to content

Actions: bclement-ocp/alt-ergo

Actions

Build Javascript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_js.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: Improve performance of literal de-duplication Build Javascript #207: Commit 83d1176 pushed by bclement-ocp
July 25, 2024 14:05 4m 54s perf
perf
July 25, 2024 14:05 4m 54s
perf, with lazy and no leaves Build Javascript #206: Commit b5dbc17 pushed by bclement-ocp
July 25, 2024 12:18 5m 8s perf
perf
July 25, 2024 12:18 5m 8s
perf Build Javascript #205: Commit baeefe9 pushed by bclement-ocp
July 25, 2024 10:06 5m 55s perf
perf
July 25, 2024 10:06 5m 55s
only ac for logical Build Javascript #204: Commit da6761a pushed by bclement-ocp
July 25, 2024 08:38 4m 51s bvac
bvac
July 25, 2024 08:38 4m 51s
derp Build Javascript #203: Commit 21bcf33 pushed by bclement-ocp
July 25, 2024 08:37 5m 14s bvac
bvac
July 25, 2024 08:37 5m 14s
bvac Build Javascript #202: Commit f617fe1 pushed by bclement-ocp
July 25, 2024 06:42 5m 13s bvac
bvac
July 25, 2024 06:42 5m 13s
subst must always trigger or we miss simplifications Build Javascript #201: Commit baae945 pushed by bclement-ocp
July 24, 2024 10:28 4m 47s nf3
nf3
July 24, 2024 10:28 4m 47s
use int for cs Build Javascript #200: Commit b8262c0 pushed by bclement-ocp
July 24, 2024 10:22 4m 58s bvcsint
bvcsint
July 24, 2024 10:22 4m 58s
let's pretend we support commutative operators Build Javascript #199: Commit 5ce9665 pushed by bclement-ocp
July 24, 2024 09:15 5m 18s smarter
smarter
July 24, 2024 09:15 5m 18s
feat(BV): Add support for bv2nat/int2bv normal forms Build Javascript #198: Commit 0f46897 pushed by bclement-ocp
July 24, 2024 07:32 5m 14s bv2nat
bv2nat
July 24, 2024 07:32 5m 14s
bv2arith Build Javascript #197: Commit 5e64b04 pushed by bclement-ocp
July 24, 2024 07:31 5m 0s bv2arith
bv2arith
July 24, 2024 07:31 5m 0s
Fixes Build Javascript #196: Commit a83eaef pushed by bclement-ocp
July 24, 2024 06:19 5m 25s bvarith-delta
bvarith-delta
July 24, 2024 06:19 5m 25s
also watch result of constraint Build Javascript #195: Commit d8a18fc pushed by bclement-ocp
July 24, 2024 06:19 4m 53s nf3
nf3
July 24, 2024 06:19 4m 53s
feat(doc): Versioned documentation pages Build Javascript #194: Commit dbfa7a7 pushed by bclement-ocp
July 23, 2024 16:14 5m 7s multidoc
multidoc
July 23, 2024 16:14 5m 7s
chore: Support bytecode-only environments Build Javascript #193: Commit 481a01d pushed by bclement-ocp
July 23, 2024 06:41 5m 16s fix-1066
fix-1066
July 23, 2024 06:41 5m 16s
Reorganize documentation Build Javascript #192: Commit 9e9249a pushed by bclement-ocp
July 22, 2024 17:13 4m 58s re-doc
re-doc
July 22, 2024 17:13 4m 58s
more stars Build Javascript #191: Commit dae4ac9 pushed by bclement-ocp
July 22, 2024 14:30 4m 58s fix-1172
fix-1172
July 22, 2024 14:30 4m 58s
fix(AC, Arith): Use a separate namespace for AC abstractions Build Javascript #190: Commit 78dac20 pushed by bclement-ocp
July 22, 2024 14:29 4m 48s fix-1172
fix-1172
July 22, 2024 14:29 4m 48s
fix(AC, Arith): Use a separate namespace for AC abstractions Build Javascript #189: Commit 817f710 pushed by bclement-ocp
July 22, 2024 14:22 4m 53s fix-1172
fix-1172
July 22, 2024 14:22 4m 53s
fix(CI): Ensure binary releases have proper version number Build Javascript #188: Commit 5f4cf9d pushed by bclement-ocp
July 22, 2024 10:14 5m 6s fix-1131
fix-1131
July 22, 2024 10:14 5m 6s
Remove prerelease flags (#1167) Build Javascript #187: Commit 6f843ce pushed by bclement-ocp
July 22, 2024 07:58 8m 6s next
next
July 22, 2024 07:58 8m 6s
Add a test Build Javascript #186: Commit 8633358 pushed by bclement-ocp
July 19, 2024 15:39 5m 9s bvmul-soundness
bvmul-soundness
July 19, 2024 15:39 5m 9s
also watch result of constraint Build Javascript #185: Commit 8053e0c pushed by bclement-ocp
July 19, 2024 15:09 4m 48s nf3
nf3
July 19, 2024 15:09 4m 48s
fix(BV): Do not lose explanations in bvmul Build Javascript #184: Commit 7ce7868 pushed by bclement-ocp
July 19, 2024 12:48 4m 55s bvmul-soundness
bvmul-soundness
July 19, 2024 12:48 4m 55s
Better proof Build Javascript #183: Commit faf7599 pushed by bclement-ocp
July 19, 2024 12:43 5m 6s bladd
bladd
July 19, 2024 12:43 5m 6s