Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
669 workflow runs
669 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update libsail for SV improvements Build matrix #701: Commit 68d1e22 pushed by Alasdair
August 28, 2024 13:27 11m 29s sail2
sail2
August 28, 2024 13:27 11m 29s
Appease dune fmt Build matrix #700: Commit 8d8ea57 pushed by bacam
August 28, 2024 13:13 14m 13s coq-new-regstate
coq-new-regstate
August 28, 2024 13:13 14m 13s
Update libsail for SV improvements Build matrix #699: Commit 9d1a83b pushed by Alasdair
August 28, 2024 13:07 10m 42s sv_update
sv_update
August 28, 2024 13:07 10m 42s
Coq: switch uses of sigT for registers with greg Build matrix #698: Commit 3024163 pushed by bacam
August 28, 2024 12:42 2m 43s coq-new-regstate
coq-new-regstate
August 28, 2024 12:42 2m 43s
Coq: typeclass instances for pa Build matrix #697: Commit 442b2d8 pushed by bacam
August 27, 2024 15:55 18m 1s coq-new-regstate
coq-new-regstate
August 27, 2024 15:55 18m 1s
Drop unnecessary include from interface. Build matrix #696: Commit 0a50449 pushed by Alasdair
August 27, 2024 15:53 11m 27s sail2
sail2
August 27, 2024 15:53 11m 27s
Float: Introduce floating point api le Build matrix #695: Commit d8a7215 pushed by Alasdair
August 27, 2024 15:52 10m 54s sail2
sail2
August 27, 2024 15:52 10m 54s
Fix an issue with update_fbits in Sail->SMT Build matrix #694: Commit decf3d7 pushed by Alasdair
August 27, 2024 15:04 11m 11s sail2
sail2
August 27, 2024 15:04 11m 11s
Fix an issue with update_fbits in Sail->SMT Build matrix #693: Commit 4e2f70b pushed by Alasdair
August 27, 2024 14:37 10m 43s smt_update_fbits
smt_update_fbits
August 27, 2024 14:37 10m 43s
Coq: general all decidable equality instances by default Build matrix #692: Commit ef89825 pushed by bacam
August 27, 2024 12:10 13m 1s coq-new-regstate
coq-new-regstate
August 27, 2024 12:10 13m 1s
Coq: add new EqDecision instances for concurrency interface Build matrix #691: Commit 524ab7b pushed by bacam
August 26, 2024 16:54 12m 38s coq-new-regstate
coq-new-regstate
August 26, 2024 16:54 12m 38s
Fix loop termination measures in separate files to the definitions Build matrix #690: Commit 9fd675d pushed by bacam
August 26, 2024 15:33 11m 42s sail2
sail2
August 26, 2024 15:33 11m 42s
Fix a pattern completeness issue with constant integer types Build matrix #689: Commit f897aef pushed by Alasdair
August 24, 2024 21:59 11m 10s sail2
sail2
August 24, 2024 21:59 11m 10s
Fix a pattern completeness issue with constant integer types Build matrix #688: Commit d889fe8 pushed by Alasdair
August 24, 2024 21:43 10m 52s constant_pat_complete
constant_pat_complete
August 24, 2024 21:43 10m 52s
Add experimental option to slice out the types used in instantiations Build matrix #687: Commit 8f649e7 pushed by bacam
August 23, 2024 16:05 11m 41s sail2
sail2
August 23, 2024 16:05 11m 41s
Don't try to run float_prelude test in interactive provers Build matrix #686: Commit 701afe1 pushed by bacam
August 21, 2024 16:24 13m 10s sail2
sail2
August 21, 2024 16:24 13m 10s
Avoid deprecated distutils module in test scripts Build matrix #685: Commit 595193f pushed by Alasdair
August 16, 2024 16:21 16m 4s sail2
sail2
August 16, 2024 16:21 16m 4s
Avoid deprecated distutils module in test scripts Build matrix #684: Commit af111a5 pushed by Alasdair
August 16, 2024 15:24 23m 10s distutilsfix
distutilsfix
August 16, 2024 15:24 23m 10s
Avoid deprecated distutils module in test scripts Build matrix #683: Commit 74608db pushed by Alasdair
August 16, 2024 15:24 19m 0s distutilsfix
distutilsfix
August 16, 2024 15:24 19m 0s
Fix issue with spaces around 2^ operator Build matrix #682: Commit e009fe3 pushed by Alasdair
August 16, 2024 15:22 22m 49s sail2
sail2
August 16, 2024 15:22 22m 49s
Fix issue with spaces around 2^ operator Build matrix #681: Commit 18499b7 pushed by Alasdair
August 16, 2024 15:05 11m 23s pow2fix
pow2fix
August 16, 2024 15:05 11m 23s
Fix issue with spaces around 2^ operator Build matrix #680: Commit 6b8b263 pushed by Alasdair
August 16, 2024 14:29 17m 5s pow2fix
pow2fix
August 16, 2024 14:29 17m 5s
Increase CI ocamlformat version Build matrix #679: Commit fe33f9b pushed by Alasdair
August 16, 2024 14:17 13m 56s sv_attr2
sv_attr2
August 16, 2024 14:17 13m 56s
Add rewrite to remove unused SV variables Build matrix #678: Commit 5fbfa55 pushed by Alasdair
August 14, 2024 14:20 10m 27s sv_attr2
sv_attr2
August 14, 2024 14:20 10m 27s
Coq: add more register value instances for concurrency interface Build matrix #677: Commit f91a961 pushed by bacam
August 14, 2024 13:49 17m 33s coq-new-regstate
coq-new-regstate
August 14, 2024 13:49 17m 33s