Skip to content

Actions: OCamlPro/alt-ergo

Actions

Build statically linked binaries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_static.yml
775 workflow runs
775 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use term_cst as identifiers of names Build statically linked binaries #676: Pull request #1229 opened by Halbaroth
August 30, 2024 10:07 5m 14s Halbaroth:uid-name
Halbaroth:uid-name
August 30, 2024 10:07 5m 14s
feat(BV): Support binary distinct on arbitrary bit-widths Build statically linked binaries #675: Pull request #1222 synchronize by bclement-ocp
August 30, 2024 09:52 5m 2s bclement-ocp:bv-distinct
bclement-ocp:bv-distinct
August 30, 2024 09:52 5m 2s
fix(opt): Only perform optimization when building a model (#1224) Build statically linked binaries #674: Commit 52afc73 pushed by bclement-ocp
August 30, 2024 09:51 4m 43s next
next
August 30, 2024 09:51 4m 43s
chore(warnings): Drop acts_add_lit_view (#1227) Build statically linked binaries #673: Commit 6323189 pushed by Halbaroth
August 30, 2024 08:46 4m 43s next
next
August 30, 2024 08:46 4m 43s
chore(warnings): Drop acts_add_lit_view Build statically linked binaries #672: Pull request #1227 opened by bclement-ocp
August 29, 2024 17:40 4m 48s bclement-ocp:rm-acts-add-lit-view
bclement-ocp:rm-acts-add-lit-view
August 29, 2024 17:40 4m 48s
fix(BV): Do not build unnormalized values in zero_extend Build statically linked binaries #671: Pull request #1226 opened by bclement-ocp
August 29, 2024 17:38 4m 48s bclement-ocp:bv-zero-extend
bclement-ocp:bv-zero-extend
August 29, 2024 17:38 4m 48s
Build statically linked binaries Build statically linked binaries #670: Manually run by bclement-ocp
August 29, 2024 11:46 12m 2s v2.5.x
v2.5.x
August 29, 2024 11:46 12m 2s
fix(opt): Only perform optimization when building a model Build statically linked binaries #669: Pull request #1224 synchronize by bclement-ocp
August 29, 2024 10:34 5m 11s bclement-ocp:late-opt
bclement-ocp:late-opt
August 29, 2024 10:34 5m 11s
fix(opt): Only perform optimization when building a model Build statically linked binaries #668: Pull request #1224 synchronize by bclement-ocp
August 29, 2024 10:32 4m 45s bclement-ocp:late-opt
bclement-ocp:late-opt
August 29, 2024 10:32 4m 45s
fix(CP): Make sure domains do not overflow the default domain (#1225) Build statically linked binaries #667: Commit 05b2d16 pushed by Halbaroth
August 29, 2024 10:08 4m 46s next
next
August 29, 2024 10:08 4m 46s
fix(CP): Make sure domains do not overflow the default domain Build statically linked binaries #666: Pull request #1225 synchronize by bclement-ocp
August 29, 2024 09:13 4m 56s bclement-ocp:fix-bvshl
bclement-ocp:fix-bvshl
August 29, 2024 09:13 4m 56s
fix(CP): Make sure domains do not overflow the default domain Build statically linked binaries #665: Pull request #1225 opened by bclement-ocp
August 29, 2024 08:48 4m 49s bclement-ocp:fix-bvshl
bclement-ocp:fix-bvshl
August 29, 2024 08:48 4m 49s
Wrap the library Alt_ergo_prelude (#1223) Build statically linked binaries #664: Commit 6d54433 pushed by Halbaroth
August 28, 2024 15:18 4m 51s next
next
August 28, 2024 15:18 4m 51s
fix(opt): Only perform optimization when building a model Build statically linked binaries #663: Pull request #1224 synchronize by bclement-ocp
August 28, 2024 14:48 7m 6s bclement-ocp:late-opt
bclement-ocp:late-opt
August 28, 2024 14:48 7m 6s
Wrap the library Alt_ergo_prelude Build statically linked binaries #662: Pull request #1223 synchronize by Halbaroth
August 28, 2024 14:45 9m 55s Halbaroth:fix-ocaml-prelude
Halbaroth:fix-ocaml-prelude
August 28, 2024 14:45 9m 55s
fix(opt): Only perform optimization when building a model Build statically linked binaries #661: Pull request #1224 opened by bclement-ocp
August 28, 2024 14:40 4m 58s bclement-ocp:late-opt
bclement-ocp:late-opt
August 28, 2024 14:40 4m 58s
Wrap the library Alt_ergo_prelude Build statically linked binaries #660: Pull request #1223 opened by Halbaroth
August 28, 2024 12:43 4m 37s Halbaroth:fix-ocaml-prelude
Halbaroth:fix-ocaml-prelude
August 28, 2024 12:43 4m 37s
feat(BV): Support binary distinct on arbitrary bit-widths Build statically linked binaries #659: Pull request #1222 synchronize by bclement-ocp
August 28, 2024 11:45 4m 46s bclement-ocp:bv-distinct
bclement-ocp:bv-distinct
August 28, 2024 11:45 4m 46s
feat(BV): Support binary distinct on arbitrary bit-widths Build statically linked binaries #658: Pull request #1222 synchronize by bclement-ocp
August 28, 2024 09:56 21m 16s bclement-ocp:bv-distinct
bclement-ocp:bv-distinct
August 28, 2024 09:56 21m 16s
fix(BV, CP): Run cross-propagators to completion (#1221) Build statically linked binaries #657: Commit 8728bf7 pushed by bclement-ocp
August 28, 2024 09:55 12m 2s next
next
August 28, 2024 09:55 12m 2s
feat(BV): Support binary distinct on arbitrary bit-widths Build statically linked binaries #656: Pull request #1222 opened by bclement-ocp
August 28, 2024 09:15 4m 56s bclement-ocp:bv-distinct
bclement-ocp:bv-distinct
August 28, 2024 09:15 4m 56s
fix(BV, CP): Run cross-propagators to completion Build statically linked binaries #655: Pull request #1221 opened by bclement-ocp
August 28, 2024 09:10 4m 48s bclement-ocp:bv-xprop
bclement-ocp:bv-xprop
August 28, 2024 09:10 4m 48s
Switch to Furo theme Build statically linked binaries #654: Pull request #1220 synchronize by Halbaroth
August 26, 2024 14:57 4m 51s Halbaroth:use-furo-sphinx-theme
Halbaroth:use-furo-sphinx-theme
August 26, 2024 14:57 4m 51s
Switch to Furo theme Build statically linked binaries #653: Pull request #1220 synchronize by Halbaroth
August 26, 2024 14:45 4m 49s Halbaroth:use-furo-sphinx-theme
Halbaroth:use-furo-sphinx-theme
August 26, 2024 14:45 4m 49s
Switch to Furo theme Build statically linked binaries #652: Pull request #1220 synchronize by Halbaroth
August 26, 2024 10:15 9m 55s Halbaroth:use-furo-sphinx-theme
Halbaroth:use-furo-sphinx-theme
August 26, 2024 10:15 9m 55s