Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
758 workflow runs
758 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parser: Allow trailing commas in more places Build matrix #907: Commit a2d9765 pushed by Alasdair
December 9, 2024 15:49 7m 50s trailing_commas
trailing_commas
December 9, 2024 15:49 7m 50s
Fix removed file from install list Build matrix #906: Commit 3364899 pushed by Alasdair
December 9, 2024 14:44 7m 56s sail2
sail2
December 9, 2024 14:44 7m 56s
Fix removed file from install list Build matrix #905: Commit 0ced1f2 pushed by Alasdair
December 9, 2024 14:44 7m 30s rts_install_fix
rts_install_fix
December 9, 2024 14:44 7m 30s
Fix removed file from install list Build matrix #904: Commit 4eadcc8 pushed by Alasdair
December 9, 2024 14:43 7m 49s rts_install_fix
rts_install_fix
December 9, 2024 14:43 7m 49s
TC: Fix missing location on generated guards Build matrix #903: Commit 9fd690d pushed by Alasdair
December 6, 2024 23:07 7m 37s sail2
sail2
December 6, 2024 23:07 7m 37s
TC: Fix missing location on generated guards Build matrix #902: Commit 457249a pushed by Alasdair
December 6, 2024 22:36 7m 48s tc_guard_loc
tc_guard_loc
December 6, 2024 22:36 7m 48s
Lean: adding detailed failwith in pretty_print (#806) Build matrix #901: Commit 1112301 pushed by bacam
December 6, 2024 13:00 7m 40s sail2
sail2
December 6, 2024 13:00 7m 40s
Lean: Adding a lean_force_output option (#805) Build matrix #900: Commit 27b4ac6 pushed by bacam
December 6, 2024 11:36 7m 39s sail2
sail2
December 6, 2024 11:36 7m 39s
Lean: Adding record type support (#804) Build matrix #899: Commit cc156ec pushed by bacam
December 6, 2024 11:33 7m 32s sail2
sail2
December 6, 2024 11:33 7m 32s
SV: Improve toplevel generation Build matrix #898: Commit 74adcd1 pushed by Alasdair
December 6, 2024 02:38 7m 33s sail2
sail2
December 6, 2024 02:38 7m 33s
SV: Improve toplevel generation Build matrix #897: Commit 47690e6 pushed by Alasdair
December 6, 2024 01:48 17m 26s sv_toplevel2
sv_toplevel2
December 6, 2024 01:48 17m 26s
SV: Improve toplevel generation Build matrix #896: Commit e319b40 pushed by Alasdair
December 6, 2024 01:47 7m 49s sv_toplevel2
sv_toplevel2
December 6, 2024 01:47 7m 49s
Update macOS build to use pkgconf Build matrix #895: Commit 2b91025 pushed by Alasdair
December 4, 2024 22:50 7m 59s sail2
sail2
December 4, 2024 22:50 7m 59s
Refactor checked output functions Build matrix #894: Commit 59c282f pushed by Alasdair
December 3, 2024 17:54 7m 43s sail2
sail2
December 3, 2024 17:54 7m 43s
Refactor checked output functions Build matrix #893: Commit 293655b pushed by Alasdair
December 3, 2024 17:05 9m 9s out_refactor
out_refactor
December 3, 2024 17:05 9m 9s
Adding a wrapper to the lean backend to be able to handle more functi… Build matrix #892: Commit f3da818 pushed by bacam
December 3, 2024 12:10 7m 38s sail2
sail2
December 3, 2024 12:10 7m 38s
annotate some bool prelude functions and fix bug in literal translation Build matrix #891: Commit 161caca pushed by bacam
November 29, 2024 10:32 7m 31s sail2
sail2
November 29, 2024 10:32 7m 31s
naive first translation of let expressions Build matrix #890: Commit c11af02 pushed by bacam
November 29, 2024 10:29 7m 31s sail2
sail2
November 29, 2024 10:29 7m 31s
Lean: Add bitvector function definitions for the lean backend (#788) Build matrix #889: Commit d395f09 pushed by Alasdair
November 27, 2024 17:19 7m 46s sail2
sail2
November 27, 2024 17:19 7m 46s
Remove zlib dependency (#799) Build matrix #888: Commit 34a62cf pushed by Alasdair
November 27, 2024 14:45 7m 53s sail2
sail2
November 27, 2024 14:45 7m 53s
SystemVerilog improvements and fixes (#797) Build matrix #887: Commit 2825040 pushed by Alasdair
November 27, 2024 14:37 7m 49s sail2
sail2
November 27, 2024 14:37 7m 49s
SV: Refactor attribute handling Build matrix #886: Commit 88309e6 pushed by Alasdair
November 27, 2024 14:01 7m 32s svtoplevel
svtoplevel
November 27, 2024 14:01 7m 32s
Float: Introduce nan propagation for same exp add (#778) Build matrix #885: Commit 3bab2de pushed by Alasdair
November 26, 2024 18:14 7m 35s sail2
sail2
November 26, 2024 18:14 7m 35s
SV: Refactor attribute handling Build matrix #884: Commit 30ee535 pushed by Alasdair
November 26, 2024 17:29 8m 4s svtoplevel
svtoplevel
November 26, 2024 17:29 8m 4s
SV: Allow generating toplevel module with clk and reset signals Build matrix #883: Commit caf3ebd pushed by Alasdair
November 26, 2024 15:14 7m 50s svtoplevel
svtoplevel
November 26, 2024 15:14 7m 50s