Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
776 workflow runs
776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TC: Look through if-statements when constructing overload trees Build matrix #856: Commit 401bb47 pushed by Alasdair
November 13, 2024 14:33 14m 54s sail2
sail2
November 13, 2024 14:33 14m 54s
TC: Look through if-statements when constructing overload trees Build matrix #855: Commit 94eed08 pushed by Alasdair
November 13, 2024 14:15 17m 53s tc_overload_if
tc_overload_if
November 13, 2024 14:15 17m 53s
SV: Various improvements Build matrix #854: Commit 87d19cc pushed by Alasdair
November 13, 2024 14:12 14m 14s sail2
sail2
November 13, 2024 14:12 14m 14s
SV: Various improvements Build matrix #853: Commit 5711233 pushed by Alasdair
November 13, 2024 13:51 12m 57s sv_fixes3
sv_fixes3
November 13, 2024 13:51 12m 57s
SV: Various improvements Build matrix #852: Commit fb34b87 pushed by Alasdair
November 13, 2024 13:21 15m 32s sv_fixes3
sv_fixes3
November 13, 2024 13:21 15m 32s
SV: Various improvements Build matrix #851: Commit ebc4b1e pushed by Alasdair
November 13, 2024 13:17 18m 23s sv_fixes3
sv_fixes3
November 13, 2024 13:17 18m 23s
Lean: Translate enums (#769) Build matrix #850: Commit c706e19 pushed by bacam
November 12, 2024 10:59 12m 34s sail2
sail2
November 12, 2024 10:59 12m 34s
SV: Add support for calling C++ functions from Sail->SV with DPI-C Build matrix #849: Commit 2d59f2d pushed by Alasdair
November 7, 2024 23:06 15m 5s sail2
sail2
November 7, 2024 23:06 15m 5s
SV: Add support for calling C++ functions from Sail->SV with DPI-C Build matrix #848: Commit a0e650a pushed by Alasdair
November 7, 2024 22:50 12m 23s sv_dpi_c
sv_dpi_c
November 7, 2024 22:50 12m 23s
SV: Add support for calling C++ functions from Sail->SV with DPI-C Build matrix #847: Commit a955ef1 pushed by Alasdair
November 7, 2024 22:49 11m 57s sv_dpi_c
sv_dpi_c
November 7, 2024 22:49 11m 57s
TC: Check that we haven't inferred a nonsensical type for if conditio… Build matrix #846: Commit 2cf3f1c pushed by Alasdair
November 6, 2024 14:55 19m 51s sail2
sail2
November 6, 2024 14:55 19m 51s
TC: Check that we haven't inferred a nonsensical type for if conditions Build matrix #845: Commit d22c4ff pushed by Alasdair
November 6, 2024 14:39 17m 59s non_bool_if
non_bool_if
November 6, 2024 14:39 17m 59s
Support inferring the type of if-else based on the else branch (#762) Build matrix #844: Commit a93d125 pushed by Alasdair
November 6, 2024 14:33 16m 35s sail2
sail2
November 6, 2024 14:33 16m 35s
SV: Implement some more primitives so RV model builds (#763) Build matrix #843: Commit 66725a8 pushed by Alasdair
November 5, 2024 17:24 15m 8s sail2
sail2
November 5, 2024 17:24 15m 8s
SV: Implement some more primitives so RV model builds Build matrix #842: Commit 454a56f pushed by Alasdair
November 5, 2024 16:05 15m 54s svdiv
svdiv
November 5, 2024 16:05 15m 54s
SV: Fix issue where structs were not being simplified as much as poss… Build matrix #841: Commit fd54f63 pushed by Alasdair
November 4, 2024 17:50 21m 3s sail2
sail2
November 4, 2024 17:50 21m 3s
Update build.yml (#760) Build matrix #840: Commit ca048b2 pushed by Alasdair
November 4, 2024 17:50 20m 50s sail2
sail2
November 4, 2024 17:50 20m 50s
Update build.yml Build matrix #839: Commit c1fee3b pushed by Alasdair
November 4, 2024 17:21 25m 39s Alasdair-patch-1
Alasdair-patch-1
November 4, 2024 17:21 25m 39s
SV: Fix issue where structs were not being simplified as much as poss… Build matrix #838: Commit 7283eea pushed by Alasdair
November 4, 2024 17:19 7m 46s svstructsimp
svstructsimp
November 4, 2024 17:19 7m 46s
Lean: Translate tuples (expressions and types) (#757) Build matrix #837: Commit d50dbc3 pushed by Alasdair
November 1, 2024 15:00 12m 41s sail2
sail2
November 1, 2024 15:00 12m 41s
be able to translate operation tests on bit vectors (#755) Build matrix #836: Commit 11d722f pushed by bacam
October 31, 2024 10:50 14m 42s sail2
sail2
October 31, 2024 10:50 14m 42s
lean: add support for external calls to [Int.add|sub|tdiv|tmod|tmod_p… Build matrix #835: Commit 9f8d0b7 pushed by Alasdair
October 30, 2024 19:21 16m 53s sail2
sail2
October 30, 2024 19:21 16m 53s
TC: Iterate typechecking function arguments until no quantifiers can … Build matrix #834: Commit 2183aa3 pushed by Alasdair
October 30, 2024 18:07 13m 30s sail2
sail2
October 30, 2024 18:07 13m 30s
TC: Iterate typechecking function arguments until no quantifiers can … Build matrix #833: Commit 4e6b071 pushed by Alasdair
October 30, 2024 17:34 14m 18s bvimplictconcat
bvimplictconcat
October 30, 2024 17:34 14m 18s
lean: add support for int_mult (#752) Build matrix #832: Commit 9e228eb pushed by bacam
October 30, 2024 13:40 14m 45s sail2
sail2
October 30, 2024 13:40 14m 45s