Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
743 workflow run results
743 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add test Build matrix #1069: Commit bbad0f3 pushed by Alasdair
February 13, 2025 17:13 7m 45s sail2
sail2
February 13, 2025 17:13 7m 45s
Lean: keep type vars in type abbreviations Build matrix #1068: Commit edf34cf pushed by Alasdair
February 13, 2025 17:13 7m 13s sail2
sail2
February 13, 2025 17:13 7m 13s
Lean: handling foreach Loops (#990) Build matrix #1067: Commit f2432d8 pushed by bacam
February 13, 2025 16:47 7m 26s sail2
sail2
February 13, 2025 16:47 7m 26s
Lean: fix monadicity for internal plets (#986) Build matrix #1066: Commit fb7249f pushed by bacam
February 13, 2025 15:30 7m 33s sail2
sail2
February 13, 2025 15:30 7m 33s
Update LICENSE Build matrix #1065: Commit 940b8bb pushed by Alasdair
February 13, 2025 13:04 7m 15s license_update
license_update
February 13, 2025 13:04 7m 15s
TC: Fix issue with type synonyms in sizeof rewrite Build matrix #1064: Commit af66b8d pushed by Alasdair
February 13, 2025 13:03 7m 15s sail2
sail2
February 13, 2025 13:03 7m 15s
Lean: Memory model (#965) Build matrix #1063: Commit c425694 pushed by bacam
February 13, 2025 12:56 7m 29s sail2
sail2
February 13, 2025 12:56 7m 29s
TC: Fix issue with type synonyms in sizeof rewrite Build matrix #1062: Commit 0075e00 pushed by Alasdair
February 13, 2025 12:37 7m 12s tc_sizeof_synonym
tc_sizeof_synonym
February 13, 2025 12:37 7m 12s
TC: Fix issue with type synonyms in sizeof rewrite Build matrix #1061: Commit 0ec5dbf pushed by Alasdair
February 13, 2025 12:08 7m 35s tc_sizeof_synonym
tc_sizeof_synonym
February 13, 2025 12:08 7m 35s
sail-to-lean: Add lean backends for mapping.sail (#969) Build matrix #1060: Commit 1013bd2 pushed by bacam
February 13, 2025 11:52 7m 13s sail2
sail2
February 13, 2025 11:52 7m 13s
Feature/lean external arith shifts (#968) Build matrix #1059: Commit 7dee571 pushed by bacam
February 13, 2025 11:51 8m 21s sail2
sail2
February 13, 2025 11:51 8m 21s
Lean feat: use match_bv when possible (#970) Build matrix #1058: Commit a434a0a pushed by bacam
February 13, 2025 11:10 7m 52s sail2
sail2
February 13, 2025 11:10 7m 52s
feat(test/lean): support self-tests from the C backend (#973) Build matrix #1057: Commit 1d02546 pushed by Alasdair
February 12, 2025 14:17 8m 40s sail2
sail2
February 12, 2025 14:17 8m 40s
Add translation.sail library file to package Build matrix #1056: Commit d0915b4 pushed by bauereiss
February 12, 2025 13:46 7m 15s sail2
sail2
February 12, 2025 13:46 7m 15s
Use default register init for Lem when concrete values are not possible Build matrix #1055: Commit 7935aaa pushed by bacam
February 12, 2025 12:26 8m 26s sail2
sail2
February 12, 2025 12:26 8m 26s
define undefined_vector Build matrix #1054: Commit 6c0caba pushed by Alasdair
February 11, 2025 16:52 7m 37s sail2
sail2
February 11, 2025 16:52 7m 37s
Lean: fix lets that use tuples Build matrix #1053: Commit f17fb4b pushed by Alasdair
February 11, 2025 16:21 7m 13s sail2
sail2
February 11, 2025 16:21 7m 13s
Tests: Thread expected_status through step_with_status Build matrix #1052: Commit c8020d3 pushed by Alasdair
February 11, 2025 15:35 7m 15s sail2
sail2
February 11, 2025 15:35 7m 15s
Tests: Thread expected_status through step_with_status Build matrix #1051: Commit cf64dc0 pushed by Alasdair
February 11, 2025 15:08 7m 26s some_fixes
some_fixes
February 11, 2025 15:08 7m 26s
implement and test vector_update Build matrix #1050: Commit aca43b4 pushed by Alasdair
February 11, 2025 14:40 7m 15s sail2
sail2
February 11, 2025 14:40 7m 15s
Lean: fix indentation of match blocks (#966) Build matrix #1049: Commit 40d03c0 pushed by bacam
February 11, 2025 11:13 7m 9s sail2
sail2
February 11, 2025 11:13 7m 9s
Adds several Lean backends for built-in SAIL functions (mostly arithm… Build matrix #1048: Commit b689188 pushed by bacam
February 11, 2025 09:36 7m 14s sail2
sail2
February 11, 2025 09:36 7m 14s
make unit literals anonymous Build matrix #1047: Commit c9a9da8 pushed by Alasdair
February 10, 2025 18:29 7m 33s sail2
sail2
February 10, 2025 18:29 7m 33s
Lean: add non-determinism to the monad (#964) Build matrix #1046: Commit a5a1072 pushed by bacam
February 10, 2025 16:56 7m 7s sail2
sail2
February 10, 2025 16:56 7m 7s
Add option to lean test runner to automatically update the expected f… Build matrix #1045: Commit 6cb31a8 pushed by bacam
February 10, 2025 15:25 7m 37s sail2
sail2
February 10, 2025 15:25 7m 37s