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

Update ACL2 link Build matrix #881: Commit e88a5f0 pushed by bacam
November 25, 2024 10:36 7m 43s sail2
sail2
November 25, 2024 10:36 7m 43s
Add count_trailing_zero primop (#792) Build matrix #880: Commit 9787829 pushed by Alasdair
November 22, 2024 00:03 7m 37s sail2
sail2
November 22, 2024 00:03 7m 37s
SV: Add partial mapping test case and run in CI Build matrix #879: Commit ac83f8c pushed by Alasdair
November 21, 2024 18:21 7m 53s sail2
sail2
November 21, 2024 18:21 7m 53s
SV: Add partial mapping test case and run in CI Build matrix #878: Commit 9fe3070 pushed by Alasdair
November 21, 2024 17:39 11m 32s svci
svci
November 21, 2024 17:39 11m 32s
SV: Add partial mapping test case and run in CI Build matrix #877: Commit 2a56424 pushed by Alasdair
November 21, 2024 17:18 9m 59s svci
svci
November 21, 2024 17:18 9m 59s
SV: Add partial mapping test case and run in CI Build matrix #876: Commit 96e280d pushed by Alasdair
November 21, 2024 16:59 7m 40s svci
svci
November 21, 2024 16:59 7m 40s
SV: Add partial mapping test case and run in CI Build matrix #875: Commit d48d53c pushed by Alasdair
November 21, 2024 16:57 7m 35s svci
svci
November 21, 2024 16:57 7m 35s
SV: Add partial mapping test case and run in CI Build matrix #874: Commit 350f5d9 pushed by Alasdair
November 21, 2024 16:45 14m 40s svci
svci
November 21, 2024 16:45 14m 40s
SV: Add partial mapping test case and run in CI Build matrix #873: Commit 36cc9d2 pushed by Alasdair
November 21, 2024 16:35 7m 41s svci
svci
November 21, 2024 16:35 7m 41s
SMT: Optimize short-circuiting operators Build matrix #872: Commit d7efbc0 pushed by Alasdair
November 21, 2024 15:55 9m 19s sail2
sail2
November 21, 2024 15:55 9m 19s
SMT: Optimize short-circuiting operators Build matrix #871: Commit e455264 pushed by Alasdair
November 21, 2024 14:55 12m 1s smt_sc_opt
smt_sc_opt
November 21, 2024 14:55 12m 1s
Add parentheses in module instantiation even with no I/O mapped. Build matrix #870: Commit 1cc693a pushed by Alasdair
November 21, 2024 14:41 16m 3s sail2
sail2
November 21, 2024 14:41 16m 3s
SV: Further annotations to optimize mappings Build matrix #869: Commit 322e2bb pushed by Alasdair
November 20, 2024 17:12 12m 3s sail2
sail2
November 20, 2024 17:12 12m 3s
SV: Further annotations to optimize mappings Build matrix #868: Commit 120fe61 pushed by Alasdair
November 20, 2024 16:51 12m 15s smt_sv_mapping_perf
smt_sv_mapping_perf
November 20, 2024 16:51 12m 15s
SV: Further annotations to optimize mappings Build matrix #867: Commit dff525b pushed by Alasdair
November 20, 2024 05:30 12m 1s smt_sv_mapping_perf
smt_sv_mapping_perf
November 20, 2024 05:30 12m 1s
SMT: Always optimize pure matches Build matrix #866: Commit 6f1ccea pushed by Alasdair
November 20, 2024 05:04 12m 20s smt_sv_mapping_perf
smt_sv_mapping_perf
November 20, 2024 05:04 12m 20s
Lean: Added the lean tests to the automated tests (#779) Build matrix #865: Commit d8c5924 pushed by bacam
November 19, 2024 16:42 16m 43s sail2
sail2
November 19, 2024 16:42 16m 43s
SMT: Fix missing eq_anything case Build matrix #864: Commit 018a013 pushed by Alasdair
November 19, 2024 15:01 13m 13s sail2
sail2
November 19, 2024 15:01 13m 13s
SMT: Fix missing eq_anything case Build matrix #863: Commit 392dfc2 pushed by Alasdair
November 19, 2024 14:45 17m 17s smteqfix
smteqfix
November 19, 2024 14:45 17m 17s
SV: Get RISC-V decoder through the SystemVerilog translation Build matrix #862: Commit 87dddf8 pushed by Alasdair
November 15, 2024 23:43 13m 38s sail2
sail2
November 15, 2024 23:43 13m 38s
SV: Get RISC-V decoder through the SystemVerilog translation Build matrix #861: Commit 7fa2bfb pushed by Alasdair
November 15, 2024 23:13 16m 0s sv_decode
sv_decode
November 15, 2024 23:13 16m 0s
Various fixes Build matrix #860: Commit 3611e46 pushed by Alasdair
November 15, 2024 17:44 15m 47s sail2
sail2
November 15, 2024 17:44 15m 47s
Add assert false with not implemented. Build matrix #859: Commit bdc464f pushed by Alasdair
November 15, 2024 17:29 14m 43s sail2
sail2
November 15, 2024 17:29 14m 43s
Various fixes Build matrix #858: Commit 56ce4c9 pushed by Alasdair
November 15, 2024 17:27 18m 23s i775fix
i775fix
November 15, 2024 17:27 18m 23s
Various fixes Build matrix #857: Commit a2c34d9 pushed by Alasdair
November 15, 2024 17:13 23m 26s i775fix
i775fix
November 15, 2024 17:13 23m 26s