Skip to content

Actions: bclement-ocp/alt-ergo

Actions

Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bitv: abstract selectors Linter #211: Commit 0cc0a69 pushed by bclement-ocp
July 26, 2024 15:38 1m 57s bv2nat-rel
bv2nat-rel
July 26, 2024 15:38 1m 57s
bv2int Linter #210: Commit 1f0133c pushed by bclement-ocp
July 26, 2024 13:37 1m 54s next-bv2int
next-bv2int
July 26, 2024 13:37 1m 54s
bv2int Linter #209: Commit 446a709 pushed by bclement-ocp
July 26, 2024 13:37 2m 4s next-bv2int
next-bv2int
July 26, 2024 13:37 2m 4s
better propagation Linter #208: Commit 90875f0 pushed by bclement-ocp
July 26, 2024 13:02 3m 7s bv2nat-rel
bv2nat-rel
July 26, 2024 13:02 3m 7s
perf: Improve performance of literal de-duplication Linter #207: Commit 83d1176 pushed by bclement-ocp
July 25, 2024 14:05 2m 6s perf
perf
July 25, 2024 14:05 2m 6s
perf, with lazy and no leaves Linter #206: Commit b5dbc17 pushed by bclement-ocp
July 25, 2024 12:18 2m 11s perf
perf
July 25, 2024 12:18 2m 11s
perf Linter #205: Commit baeefe9 pushed by bclement-ocp
July 25, 2024 10:06 2m 0s perf
perf
July 25, 2024 10:06 2m 0s
only ac for logical Linter #204: Commit da6761a pushed by bclement-ocp
July 25, 2024 08:38 2m 8s bvac
bvac
July 25, 2024 08:38 2m 8s
derp Linter #203: Commit 21bcf33 pushed by bclement-ocp
July 25, 2024 08:37 1m 59s bvac
bvac
July 25, 2024 08:37 1m 59s
bvac Linter #202: Commit f617fe1 pushed by bclement-ocp
July 25, 2024 06:42 1m 49s bvac
bvac
July 25, 2024 06:42 1m 49s
subst must always trigger or we miss simplifications Linter #201: Commit baae945 pushed by bclement-ocp
July 24, 2024 10:28 2m 4s nf3
nf3
July 24, 2024 10:28 2m 4s
use int for cs Linter #200: Commit b8262c0 pushed by bclement-ocp
July 24, 2024 10:22 2m 15s bvcsint
bvcsint
July 24, 2024 10:22 2m 15s
let's pretend we support commutative operators Linter #199: Commit 5ce9665 pushed by bclement-ocp
July 24, 2024 09:15 2m 4s smarter
smarter
July 24, 2024 09:15 2m 4s
feat(BV): Add support for bv2nat/int2bv normal forms Linter #198: Commit 0f46897 pushed by bclement-ocp
July 24, 2024 07:32 1m 56s bv2nat
bv2nat
July 24, 2024 07:32 1m 56s
bv2arith Linter #197: Commit 5e64b04 pushed by bclement-ocp
July 24, 2024 07:31 2m 28s bv2arith
bv2arith
July 24, 2024 07:31 2m 28s
Fixes Linter #196: Commit a83eaef pushed by bclement-ocp
July 24, 2024 06:19 2m 20s bvarith-delta
bvarith-delta
July 24, 2024 06:19 2m 20s
also watch result of constraint Linter #195: Commit d8a18fc pushed by bclement-ocp
July 24, 2024 06:19 2m 18s nf3
nf3
July 24, 2024 06:19 2m 18s
feat(doc): Versioned documentation pages Linter #194: Commit dbfa7a7 pushed by bclement-ocp
July 23, 2024 16:14 2m 24s multidoc
multidoc
July 23, 2024 16:14 2m 24s
chore: Support bytecode-only environments Linter #193: Commit 481a01d pushed by bclement-ocp
July 23, 2024 06:41 1m 57s fix-1066
fix-1066
July 23, 2024 06:41 1m 57s
Reorganize documentation Linter #192: Commit 9e9249a pushed by bclement-ocp
July 22, 2024 17:13 1m 47s re-doc
re-doc
July 22, 2024 17:13 1m 47s
more stars Linter #191: Commit dae4ac9 pushed by bclement-ocp
July 22, 2024 14:30 2m 43s fix-1172
fix-1172
July 22, 2024 14:30 2m 43s
fix(AC, Arith): Use a separate namespace for AC abstractions Linter #190: Commit 78dac20 pushed by bclement-ocp
July 22, 2024 14:29 1m 59s fix-1172
fix-1172
July 22, 2024 14:29 1m 59s
fix(AC, Arith): Use a separate namespace for AC abstractions Linter #189: Commit 817f710 pushed by bclement-ocp
July 22, 2024 14:22 1m 50s fix-1172
fix-1172
July 22, 2024 14:22 1m 50s
fix(CI): Ensure binary releases have proper version number Linter #188: Commit 5f4cf9d pushed by bclement-ocp
July 22, 2024 10:14 1m 48s fix-1131
fix-1131
July 22, 2024 10:14 1m 48s
Remove prerelease flags (#1167) Linter #187: Commit 6f843ce pushed by bclement-ocp
July 22, 2024 07:58 5m 8s next
next
July 22, 2024 07:58 5m 8s