Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move Sail Isla plugin into main repository Build matrix #1823: Commit 3ff687a pushed by Alasdair
26m 54s isla_plugin
isla_plugin
26m 54s
Move Sail Isla plugin into main repository Build matrix #1822: Commit 3e92d74 pushed by Alasdair
18m 49s isla_plugin
isla_plugin
18m 49s
Rename effect non-terminal for new menhir Build matrix #1821: Commit 446fb47 pushed by Alasdair
7m 16s sail2
sail2
7m 16s
Rename effect non-terminal for new menhir Build matrix #1820: Commit d21913f pushed by Alasdair
25m 27s effect_nt
effect_nt
25m 27s
Use QArith rationals Build matrix #1819: Commit d3e9860 pushed by Alasdair
25m 54s sail2
sail2
25m 54s
Use QArith rationals Build matrix #1818: Commit e671cff pushed by Alasdair
28m 17s qarith_rationals
qarith_rationals
28m 17s
Remove local labels from C output Build matrix #1817: Commit be0cf4e pushed by Alasdair
26m 13s sail2
sail2
26m 13s
C++: Avoid filtering enum values for switch blocks. Build matrix #1816: Commit f4527e6 pushed by Alasdair
25m 1s sail2
sail2
25m 1s
Use QArith rationals Build matrix #1815: Commit e66a773 pushed by Alasdair
26m 47s qarith_rationals
qarith_rationals
26m 47s
Add stdout output to SMT error message for potentially useful informa… Build matrix #1814: Commit 5e43887 pushed by bacam
25m 39s sail2
sail2
25m 39s
TC: drop existential type wrappers when the underlying type is closed Build matrix #1813: Commit ade73f1 pushed by bacam
26m 52s sail2
sail2
26m 52s
Use QArith rationals Build matrix #1812: Commit 38f0983 pushed by Alasdair
25m 18s qarith_rationals
qarith_rationals
25m 18s
TC: Fix missing final length check for vector concat patterns Build matrix #1811: Commit d4f03c3 pushed by Alasdair
27m 7s sail2
sail2
27m 7s
TC: Fix missing final length check for vector concat patterns Build matrix #1810: Commit 00b0b11 pushed by Alasdair
26m 17s issue1569_fix
issue1569_fix
26m 17s
Improve robustness of SMT output parsing & fix parsing on Windows Build matrix #1809: Commit fdf9ffb pushed by Alasdair
28m 20s sail2
sail2
28m 20s
Use switch instead of if-else chain for generated C Build matrix #1808: Commit 965cdd5 pushed by Alasdair
25m 46s sail2
sail2
25m 46s
Use correct printf specifier for ptrdiff_t in sail_config.c Build matrix #1807: Commit 7952628 pushed by Alasdair
26m 37s sail2
sail2
26m 37s
Enable Mac binary release Build matrix #1806: Commit 277470b pushed by Alasdair
19m 1s sail2
sail2
19m 1s
Update CHANGELOG Build matrix #1805: Commit 7b949c4 pushed by Alasdair
26m 8s 0.20.1
0.20.1
26m 8s
Update CHANGELOG Build matrix #1804: Commit 7b949c4 pushed by Alasdair
25m 53s sail2
sail2
25m 53s
Update CHANGELOG Build matrix #1803: Commit 19eaa25 pushed by Alasdair
26m 45s changelog_0_20_1_2
changelog_0_20_1_2
26m 45s
Update CHANGELOG Build matrix #1802: Commit 4fc2c8b pushed by Alasdair
28m 7s changelog_0_20_1_2
changelog_0_20_1_2
28m 7s
Register a default exception printer for Fatal_error Build matrix #1801: Commit 5854495 pushed by Alasdair
25m 1s sail2
sail2
25m 1s
Register a default exception printer for Fatal_error Build matrix #1800: Commit 1a67d52 pushed by Alasdair
25m 28s printexc_fatal_default
printexc_fatal_default
25m 28s
Register a default exception printer for Fatal_error Build matrix #1799: Commit 697f4ef pushed by Alasdair
27m 20s printexc_fatal_default
printexc_fatal_default
27m 20s