Skip to content

Actions: bclement-ocp/alt-ergo

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(FPA): Add ae.float{16,32,64,128} SMT-LIB builtins Build #71: Commit 6b084c6 pushed by bclement-ocp
May 31, 2024 11:40 20m 16s ae.floatXX
ae.floatXX
May 31, 2024 11:40 20m 16s
NF Build #70: Commit 5a264ad pushed by bclement-ocp
May 30, 2024 15:08 12m 13s nf3
nf3
May 30, 2024 15:08 12m 13s
do not stop splitting after search Build #69: Commit 113d8a8 pushed by bclement-ocp
May 27, 2024 15:17 8m 47s delayed-cs
delayed-cs
May 27, 2024 15:17 8m 47s
Delay case splits Build #68: Commit 5ab8d7a pushed by bclement-ocp
May 27, 2024 11:44 12m 11s delayed-cs
delayed-cs
May 27, 2024 11:44 12m 11s
fix(CLI): Remove --optimize option in favor of --strict Build #67: Commit d42cb5f pushed by bclement-ocp
May 27, 2024 08:24 11m 9s strict-mode
strict-mode
May 27, 2024 08:24 11m 9s
fix(CLI): Do not use psmt2 format for .smt2 file Build #66: Commit b5ebd3a pushed by bclement-ocp
May 27, 2024 08:22 12m 7s psmt2-format
psmt2-format
May 27, 2024 08:22 12m 7s
feat(BV, CP): Add propagators for bvshl and bvlshr Build #65: Commit 3cc4dd1 pushed by bclement-ocp
May 17, 2024 07:58 22m 58s bvarith-shift
bvarith-shift
May 17, 2024 07:58 22m 58s
feat(BV, CP): Add propagators for bvudiv and bvurem Build #64: Commit 887f497 pushed by bclement-ocp
May 17, 2024 07:57 21m 9s bvarith-div
bvarith-div
May 17, 2024 07:57 21m 9s
feat(BV, CP): Propagators for addition and multiplication Build #63: Commit d4431f8 pushed by bclement-ocp
May 17, 2024 07:57 13m 53s bvarith-poly
bvarith-poly
May 17, 2024 07:57 13m 53s
Review comments Build #62: Commit 6d316b8 pushed by bclement-ocp
May 17, 2024 07:56 11m 58s constraints3
constraints3
May 17, 2024 07:56 11m 58s
More Stdcompat Build #61: Commit fb1d319 pushed by bclement-ocp
May 17, 2024 07:47 11m 59s ivals2
ivals2
May 17, 2024 07:47 11m 59s
Address review Build #60: Commit 8fd9ae5 pushed by bclement-ocp
May 16, 2024 16:58 8m 33s domains_uf
domains_uf
May 16, 2024 16:58 8m 33s
feat(UF): Store domains inside the union-find Build #59: Commit ecfc7c9 pushed by bclement-ocp
May 16, 2024 16:34 10m 50s domains_uf
domains_uf
May 16, 2024 16:34 10m 50s
fix(FPA): Do not look for particular substitution in theories Build #58: Commit 389e658 pushed by bclement-ocp
May 13, 2024 12:57 11m 18s fix-1111-2.5.x
fix-1111-2.5.x
May 13, 2024 12:57 11m 18s
feat(nix): Add nix support in the 2.5.x branch Build #57: Commit 3852c9e pushed by bclement-ocp
May 13, 2024 12:50 10m 13s nix-2.5.x
nix-2.5.x
May 13, 2024 12:50 10m 13s
More Stdcompat Build #56: Commit e81e839 pushed by bclement-ocp
May 13, 2024 12:33 8m 57s ivals2
ivals2
May 13, 2024 12:33 8m 57s
feat(BV, CP): Add propagators for bvshl and bvlshr Build #55: Commit eec785b pushed by bclement-ocp
May 13, 2024 10:40 17m 54s bvarith-shift
bvarith-shift
May 13, 2024 10:40 17m 54s
feat(BV, CP): Add propagators for bvudiv and bvurem Build #54: Commit d770784 pushed by bclement-ocp
May 13, 2024 10:40 16m 42s bvarith-div
bvarith-div
May 13, 2024 10:40 16m 42s
feat(BV, CP): Propagators for addition and multiplication Build #53: Commit a1fcf49 pushed by bclement-ocp
May 13, 2024 10:40 11m 47s bvarith-poly
bvarith-poly
May 13, 2024 10:40 11m 47s
Soundness fix (again) Build #52: Commit 1cdb307 pushed by bclement-ocp
May 13, 2024 10:40 9m 9s constraints3
constraints3
May 13, 2024 10:40 9m 9s
feat(UF): Store domains inside the union-find Build #51: Commit 2830cca pushed by bclement-ocp
May 13, 2024 09:02 35m 33s domains_uf
domains_uf
May 13, 2024 09:02 35m 33s
feat(BV, CP): Add propagators for bvshl and bvlshr Build #50: Commit d8c0791 pushed by bclement-ocp
May 13, 2024 09:01 31m 57s bvarith-shift
bvarith-shift
May 13, 2024 09:01 31m 57s
feat(BV, CP): Add propagators for bvudiv and bvurem Build #49: Commit d7889ba pushed by bclement-ocp
May 13, 2024 08:59 29m 37s bvarith-div
bvarith-div
May 13, 2024 08:59 29m 37s
feat(BV, CP): Propagators for addition and multiplication Build #48: Commit 44d0abf pushed by bclement-ocp
May 13, 2024 08:58 25m 50s bvarith-poly
bvarith-poly
May 13, 2024 08:58 25m 50s
Soundness fix (again) Build #47: Commit b804097 pushed by bclement-ocp
May 13, 2024 08:57 20m 24s constraints3
constraints3
May 13, 2024 08:57 20m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-05-13 or the other filters available.