Skip to content

Actions: bclement-ocp/alt-ergo

Actions

Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
292 workflow runs
292 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable flaky qfbv-timeout test Linter #309: Commit 90b3623 pushed by bclement-ocp
January 27, 2025 13:28 5m 52s bclement/drop-qfbv-timeout
bclement/drop-qfbv-timeout
January 27, 2025 13:28 5m 52s
test: Make sure qfbv-timeout actually times out Linter #308: Commit 2cddab3 pushed by bclement-ocp
January 27, 2025 13:12 6m 9s bclement/fix-qfbv-timeout
bclement/fix-qfbv-timeout
January 27, 2025 13:12 6m 9s
Properly print negative real literals Linter #307: Commit 6393947 pushed by bclement-ocp
December 9, 2024 15:02 5m 13s fix-1271
fix-1271
December 9, 2024 15:02 5m 13s
rm th_entailed in new_vars Linter #306: Commit c2299e0 pushed by bclement-ocp
October 11, 2024 13:31 5m 6s test-th-entailed-new-vars
test-th-entailed-new-vars
October 11, 2024 13:31 5m 6s
always propagate equalities to theory Linter #305: Commit 2142152 pushed by bclement-ocp
October 10, 2024 10:24 5m 3s propagate-equalities
propagate-equalities
October 10, 2024 10:24 5m 3s
Catch Step_limit_reached consistently with Timeout Linter #304: Commit f22fce9 pushed by bclement-ocp
October 3, 2024 09:12 5m 23s fix-1244-1
fix-1244-1
October 3, 2024 09:12 5m 23s
wip - test i understand try_to_bj_further Linter #303: Commit 0d39962 pushed by bclement-ocp
September 26, 2024 09:01 5m 6s better-proxies
better-proxies
September 26, 2024 09:01 5m 6s
doc: Add examples for ae.float primitives (#1239) Linter #302: Commit 27684d7 pushed by bclement-ocp
September 20, 2024 08:31 5m 9s modoc
modoc
September 20, 2024 08:31 5m 9s
doc: Add examples for ae.float primitives Linter #301: Commit 28a1ad0 pushed by bclement-ocp
September 18, 2024 07:38 5m 8s aefloat-ex
aefloat-ex
September 18, 2024 07:38 5m 8s
fix: Make sure model generation is complete for more operators (#1234) Linter #300: Commit 26afeaf pushed by bclement-ocp
September 17, 2024 13:50 5m 12s moge26
moge26
September 17, 2024 13:50 5m 12s
fix: Do not load preludes twice (#1235) Linter #299: Commit f8a140b pushed by bclement-ocp
September 17, 2024 13:49 5m 3s notwo26
notwo26
September 17, 2024 13:49 5m 3s
fix: Do not load preludes twice Linter #298: Commit 962f903 pushed by bclement-ocp
September 12, 2024 07:07 5m 16s fix-multi-fpa
fix-multi-fpa
September 12, 2024 07:07 5m 16s
fix: Make sure model generation is complete for more operators Linter #297: Commit f61fc4b pushed by bclement-ocp
September 7, 2024 11:46 5m 11s missing-ria-models
missing-ria-models
September 7, 2024 11:46 5m 11s
fix bv abstract_selectors Linter #296: Commit c90857a pushed by bclement-ocp
September 4, 2024 16:38 10m 58s v254-bv-fix
v254-bv-fix
September 4, 2024 16:38 10m 58s
fix(BV): Do not build unnormalized values in zero_extend Linter #295: Commit 3cb8cd5 pushed by bclement-ocp
August 30, 2024 10:18 1m 51s bv-zero-extend
bv-zero-extend
August 30, 2024 10:18 1m 51s
Debug message instead of error Linter #294: Commit 0c7b448 pushed by bclement-ocp
August 30, 2024 09:52 1m 49s bv-distinct
bv-distinct
August 30, 2024 09:52 1m 49s
fix(CI): Ensure binary releases have proper version number (#1171) Linter #293: Commit 78ba9cc pushed by bclement-ocp
August 30, 2024 09:01 8m 21s v2.5.4
v2.5.4
August 30, 2024 09:01 8m 21s
fix(CP): Make sure domains do not overflow the default domain (#1225) Linter #292: Commit 05b2d16 pushed by bclement-ocp
August 30, 2024 08:54 5m 7s next
next
August 30, 2024 08:54 5m 7s
Split on bv last Linter #291: Commit 2487288 pushed by bclement-ocp
August 30, 2024 08:44 5m 8s bv-split-last
bv-split-last
August 30, 2024 08:44 5m 8s
bv2nat(arith) Linter #290: Commit 1dcde5e pushed by bclement-ocp
August 30, 2024 06:40 5m 2s bv2poly-reloaded
bv2poly-reloaded
August 30, 2024 06:40 5m 2s
WIP Linter #289: Commit b00d6c0 pushed by bclement-ocp
August 29, 2024 19:51 5m 8s bv2poly-full
bv2poly-full
August 29, 2024 19:51 5m 8s
WIP: bv2poly Linter #288: Commit 1111fb0 pushed by bclement-ocp
August 29, 2024 17:43 8m 0s bv2poly
bv2poly
August 29, 2024 17:43 8m 0s
chore(warnings): Drop acts_add_lit_view Linter #287: Commit f7b7a0c pushed by bclement-ocp
August 29, 2024 17:40 10m 26s rm-acts-add-lit-view
rm-acts-add-lit-view
August 29, 2024 17:40 10m 26s
fix(BV): Do not build unnormalized values in zero_extend Linter #286: Commit 3fb2765 pushed by bclement-ocp
August 29, 2024 17:37 4m 57s bv-zero-extend
bv-zero-extend
August 29, 2024 17:37 4m 57s
fix(BV): Do not build unnormalized values in zero_extend Linter #285: Commit 86e74ab pushed by bclement-ocp
August 29, 2024 17:35 5m 8s bv-zero-extend
bv-zero-extend
August 29, 2024 17:35 5m 8s