Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
633 workflow runs
633 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Less ambiguous development version instructions Build matrix #1901: Commit 36484b3 pushed by bacam
27m 38s sail2
sail2
27m 38s
Manual: add section on termination measures Build matrix #1900: Commit 1b80fe3 pushed by bacam
27m 5s sail2
sail2
27m 5s
Fix for issue 1664 Build matrix #1899: Commit e553288 pushed by Alasdair
37m 15s sail2
sail2
37m 15s
Fix for issue 1664 Build matrix #1898: Commit e5a5b29 pushed by Alasdair
37m 38s fix_issue1664
fix_issue1664
37m 38s
Rocq backend: OCaml version compatibility Build matrix #1897: Commit 4e64b9a pushed by bacam
28m 26s sail2
sail2
28m 26s
Rocq backend: Add conversion instances for toml-like values Build matrix #1896: Commit 641480d pushed by bacam
7m 15s sail2
sail2
7m 15s
Lean: use dot notation for constructors in match Build matrix #1895: Commit a4ecb4e pushed by bacam
26m 9s sail2
sail2
26m 9s
Lean: fix Lean version string Build matrix #1894: Commit e513558 pushed by bacam
26m 14s sail2
sail2
26m 14s
Add Sail integer builtins for intervals Build matrix #1893: Commit 1e6ddee pushed by Alasdair
24m 43s rocq-partial
rocq-partial
24m 43s
Lean: use latest stable Lean version Build matrix #1892: Commit 44b2c9e pushed by bacam
28m 49s sail2
sail2
28m 49s
Termination fixes when a pattern matches all function arguments at once Build matrix #1891: Commit d8dae6e pushed by bacam
36m 33s sail2
sail2
36m 33s
Use stdpp notations consistently Build matrix #1890: Commit e681aa2 pushed by Alasdair
28m 55s sail2
sail2
28m 55s
Use stdpp notations consistently Build matrix #1889: Commit 012b39d pushed by Alasdair
27m 54s rocq-partial
rocq-partial
27m 54s
Allow multiple attributes on the same AST node to be comma separated Build matrix #1888: Commit 538c6b4 pushed by Alasdair
25m 11s sail2
sail2
25m 11s
Allow multiple attributes on the same AST node to be comma separated Build matrix #1887: Commit 3a6bb62 pushed by Alasdair
25m 26s attr_comma
attr_comma
25m 26s
Optimize sub_int like add_int Build matrix #1886: Commit b04c8bf pushed by Alasdair
27m 57s sail2
sail2
27m 57s
Optimize sub_int like add_int Build matrix #1885: Commit 80bff61 pushed by Alasdair
28m 24s sub_int_opt
sub_int_opt
28m 24s
Optimize sub_int like add_int Build matrix #1884: Commit df3cbe3 pushed by Alasdair
26m 28s sub_int_opt
sub_int_opt
26m 28s
Optimize binary literals correctly Build matrix #1883: Commit 2af41c1 pushed by Alasdair
37m 27s sail2
sail2
37m 27s
Optimize binary literals correctly Build matrix #1882: Commit 3b40bb2 pushed by Alasdair
36m 52s bin_lit_opt
bin_lit_opt
36m 52s
Make sure dune ignores the rocq directory if we aren't in that project Build matrix #1881: Commit 771b015 pushed by Alasdair
36m 16s rocq-partial
rocq-partial
36m 16s
Refactor Rocq extraction Build matrix #1880: Commit 193d238 pushed by Alasdair
6m 3s rocq-partial
rocq-partial
6m 3s
Add bitvector domain, and induction rule for abstract values Build matrix #1879: Commit 7e0d798 pushed by Alasdair
5m 27s rocq-partial
rocq-partial
5m 27s
Updates to Rocq code for partial execution Build matrix #1878: Commit eff56f4 pushed by Alasdair
29m 18s sail2
sail2
29m 18s
Updates to Rocq code for partial execution Build matrix #1877: Commit 3f59597 pushed by Alasdair
27m 17s rocq-partial
rocq-partial
27m 17s