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

rm th_entailed in new_vars Build #293: Commit c2299e0 pushed by bclement-ocp
October 11, 2024 13:31 17m 58s test-th-entailed-new-vars
test-th-entailed-new-vars
October 11, 2024 13:31 17m 58s
always propagate equalities to theory Build #292: Commit 2142152 pushed by bclement-ocp
October 10, 2024 10:24 18m 45s propagate-equalities
propagate-equalities
October 10, 2024 10:24 18m 45s
Catch Step_limit_reached consistently with Timeout Build #291: Commit f22fce9 pushed by bclement-ocp
October 3, 2024 09:12 20m 49s fix-1244-1
fix-1244-1
October 3, 2024 09:12 20m 49s
wip - test i understand try_to_bj_further Build #290: Commit 0d39962 pushed by bclement-ocp
September 26, 2024 09:01 19m 7s better-proxies
better-proxies
September 26, 2024 09:01 19m 7s
doc: Add examples for ae.float primitives (#1239) Build #289: Commit 27684d7 pushed by bclement-ocp
September 20, 2024 08:31 18m 33s modoc
modoc
September 20, 2024 08:31 18m 33s
doc: Add examples for ae.float primitives Build #288: Commit 28a1ad0 pushed by bclement-ocp
September 18, 2024 07:38 18m 59s aefloat-ex
aefloat-ex
September 18, 2024 07:38 18m 59s
fix: Make sure model generation is complete for more operators (#1234) Build #287: Commit 26afeaf pushed by bclement-ocp
September 17, 2024 13:50 22m 28s moge26
moge26
September 17, 2024 13:50 22m 28s
fix: Do not load preludes twice (#1235) Build #286: Commit f8a140b pushed by bclement-ocp
September 17, 2024 13:49 19m 21s notwo26
notwo26
September 17, 2024 13:49 19m 21s
fix: Do not load preludes twice Build #285: Commit 962f903 pushed by bclement-ocp
September 12, 2024 07:07 18m 54s fix-multi-fpa
fix-multi-fpa
September 12, 2024 07:07 18m 54s
fix: Make sure model generation is complete for more operators Build #284: Commit f61fc4b pushed by bclement-ocp
September 7, 2024 11:46 18m 44s missing-ria-models
missing-ria-models
September 7, 2024 11:46 18m 44s
fix bv abstract_selectors Build #283: Commit c90857a pushed by bclement-ocp
September 4, 2024 16:38 10m 18s v254-bv-fix
v254-bv-fix
September 4, 2024 16:38 10m 18s
fix(BV): Do not build unnormalized values in zero_extend Build #282: Commit 3cb8cd5 pushed by bclement-ocp
August 30, 2024 10:18 14m 51s bv-zero-extend
bv-zero-extend
August 30, 2024 10:18 14m 51s
Debug message instead of error Build #281: Commit 0c7b448 pushed by bclement-ocp
August 30, 2024 09:52 14m 43s bv-distinct
bv-distinct
August 30, 2024 09:52 14m 43s
fix(CI): Ensure binary releases have proper version number (#1171) Build #280: Commit 78ba9cc pushed by bclement-ocp
August 30, 2024 09:01 10m 11s v2.5.4
v2.5.4
August 30, 2024 09:01 10m 11s
fix(CP): Make sure domains do not overflow the default domain (#1225) Build #279: Commit 05b2d16 pushed by bclement-ocp
August 30, 2024 08:54 19m 17s next
next
August 30, 2024 08:54 19m 17s
Split on bv last Build #278: Commit 2487288 pushed by bclement-ocp
August 30, 2024 08:44 18m 38s bv-split-last
bv-split-last
August 30, 2024 08:44 18m 38s
bv2nat(arith) Build #277: Commit 1dcde5e pushed by bclement-ocp
August 30, 2024 06:40 18m 41s bv2poly-reloaded
bv2poly-reloaded
August 30, 2024 06:40 18m 41s
WIP Build #276: Commit b00d6c0 pushed by bclement-ocp
August 29, 2024 19:51 6h 0m 22s bv2poly-full
bv2poly-full
August 29, 2024 19:51 6h 0m 22s
WIP: bv2poly Build #275: Commit 1111fb0 pushed by bclement-ocp
August 29, 2024 17:43 28m 0s bv2poly
bv2poly
August 29, 2024 17:43 28m 0s
chore(warnings): Drop acts_add_lit_view Build #274: Commit f7b7a0c pushed by bclement-ocp
August 29, 2024 17:40 23m 7s rm-acts-add-lit-view
rm-acts-add-lit-view
August 29, 2024 17:40 23m 7s
fix(BV): Do not build unnormalized values in zero_extend Build #273: Commit 3fb2765 pushed by bclement-ocp
August 29, 2024 17:37 21m 30s bv-zero-extend
bv-zero-extend
August 29, 2024 17:37 21m 30s
fix(BV): Do not build unnormalized values in zero_extend Build #272: Commit 86e74ab pushed by bclement-ocp
August 29, 2024 17:35 18m 44s bv-zero-extend
bv-zero-extend
August 29, 2024 17:35 18m 44s
fix(CI): Ensure binary releases have proper version number (#1171) Build #271: Commit 78ba9cc pushed by bclement-ocp
August 29, 2024 12:12 10m 58s v2.5.4
v2.5.4
August 29, 2024 12:12 10m 58s
fix(CI): Ensure binary releases have proper version number (#1171) Build #270: Commit 78ba9cc pushed by bclement-ocp
August 29, 2024 12:10 11m 6s v2.5.x
v2.5.x
August 29, 2024 12:10 11m 6s
Revert pick_branch_lit changes Build #269: Commit 379dcc1 pushed by bclement-ocp
August 29, 2024 10:34 14m 47s late-opt
late-opt
August 29, 2024 10:34 14m 47s