Skip to content

Actions: riscv/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile-lean.yml
396 workflow runs
396 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mseccfg CSR Build and test Lean backend #398: Pull request #1089 opened by Timmmm
June 23, 2025 09:56 26m 19s Timmmm:user/timh/mseccfg
Timmmm:user/timh/mseccfg
June 23, 2025 09:56 26m 19s
Remove explicit compressed instruction hints Build and test Lean backend #397: Pull request #1062 synchronize by Timmmm
June 23, 2025 08:35 26m 21s Timmmm:user/timh/remove_compressed_hints
Timmmm:user/timh/remove_compressed_hints
June 23, 2025 08:35 26m 21s
Improve typing of division and modulo Build and test Lean backend #396: Pull request #1082 synchronize by Timmmm
June 23, 2025 08:31 2m 1s Timmmm:user/timh/division_types
Timmmm:user/timh/division_types
June 23, 2025 08:31 2m 1s
Build and test Lean backend Build and test Lean backend #395: Manually run by jordancarlin
June 23, 2025 07:26 25m 59s master
master
June 23, 2025 07:26 25m 59s
fix: vsha2ms.vv assembly is missing a sep() (#1087) Build and test Lean backend #394: Commit e7c8579 pushed by github-merge-queue bot
June 23, 2025 07:02 6m 55s master
master
June 23, 2025 07:02 6m 55s
fix: vsha2ms.vv assembly is missing a sep() (#1087) Build and test Lean backend #393: Commit e7c8579 pushed by github-merge-queue bot
June 23, 2025 06:46 7m 29s gh-readonly-queue/master/pr-1087-d7847673f73dcaf91a72fa3f8a33d6771a433e33
gh-readonly-queue/master/pr-1087-d7847673f73dcaf91a72fa3f8a33d6771a433e33
June 23, 2025 06:46 7m 29s
Fix vector load/store whole registers instructions assembly Build and test Lean backend #392: Pull request #1088 synchronize by jordancarlin
June 23, 2025 03:19 6m 59s jordancarlin:vlre
jordancarlin:vlre
June 23, 2025 03:19 6m 59s
Fix vector load/store whole registers instructions assembly Build and test Lean backend #391: Pull request #1088 opened by jordancarlin
June 23, 2025 03:13 6m 56s jordancarlin:vlre
jordancarlin:vlre
June 23, 2025 03:13 6m 56s
fix: vsha2ms.vv assembly is missing a sep() Build and test Lean backend #390: Pull request #1087 opened by ThinkOpenly
June 23, 2025 03:06 6m 58s ThinkOpenly:vsha2ms-sep
ThinkOpenly:vsha2ms-sep
June 23, 2025 03:06 6m 58s
Add risc-v vector extension tests Build and test Lean backend #389: Pull request #1003 synchronize by nadime15
June 23, 2025 00:14 6m 53s nadime15:add_rvv_test
nadime15:add_rvv_test
June 23, 2025 00:14 6m 53s
Fix coverage collection Build and test Lean backend #388: Pull request #1084 opened by jordancarlin
June 22, 2025 21:59 7m 4s jordancarlin:sailcov
jordancarlin:sailcov
June 22, 2025 21:59 7m 4s
Add risc-v vector extension tests Build and test Lean backend #387: Pull request #1003 synchronize by nadime15
June 22, 2025 16:58 6m 36s nadime15:add_rvv_test
nadime15:add_rvv_test
June 22, 2025 16:58 6m 36s
Fix scaling of c.flwsp immediate in assembly Build and test Lean backend #386: Pull request #1083 opened by jordancarlin
June 21, 2025 20:25 6m 38s jordancarlin:flwsp_scaling
jordancarlin:flwsp_scaling
June 21, 2025 20:25 6m 38s
Use to_bits_truncate in the M extension (#1081) Build and test Lean backend #385: Commit d784767 pushed by github-merge-queue bot
June 21, 2025 08:04 6m 40s master
master
June 21, 2025 08:04 6m 40s
Use to_bits_truncate in the M extension (#1081) Build and test Lean backend #384: Commit d784767 pushed by github-merge-queue bot
June 21, 2025 07:50 7m 19s gh-readonly-queue/master/pr-1081-662db10a711a13a91b34061660301ffc3bedd048
gh-readonly-queue/master/pr-1081-662db10a711a13a91b34061660301ffc3bedd048
June 21, 2025 07:50 7m 19s
Implement the Sdext debug mode extension. Build and test Lean backend #383: Pull request #954 synchronize by pmundkur
June 20, 2025 20:00 6m 55s pmundkur:sdext
pmundkur:sdext
June 20, 2025 20:00 6m 55s
Change XLEN and FLEN to be configure-time options Build and test Lean backend #382: Pull request #870 synchronize by Timmmm
June 20, 2025 19:47 7m 11s Timmmm:user/timh/xlen_flen
Timmmm:user/timh/xlen_flen
June 20, 2025 19:47 7m 11s
Fix a bug in clint_dispatch(). (#1078) Build and test Lean backend #381: Commit 662db10 pushed by github-merge-queue bot
June 20, 2025 17:48 6m 58s master
master
June 20, 2025 17:48 6m 58s
Fix a bug in clint_dispatch(). (#1078) Build and test Lean backend #380: Commit 662db10 pushed by github-merge-queue bot
June 20, 2025 17:25 6m 53s gh-readonly-queue/master/pr-1078-197a306237fa925b503d58e16cc1cf7563e40fcf
gh-readonly-queue/master/pr-1078-197a306237fa925b503d58e16cc1cf7563e40fcf
June 20, 2025 17:25 6m 53s
Add VU and VS privilege level Build and test Lean backend #379: Pull request #1067 synchronize by trdthg
June 20, 2025 17:17 6m 53s trdthg:h2-v2
trdthg:h2-v2
June 20, 2025 17:17 6m 53s
Fix a few issues in the vset{i}vl{i} instructions. Build and test Lean backend #378: Pull request #1051 synchronize by pmundkur
June 20, 2025 15:36 6m 59s pmundkur:fix_vsetvl
pmundkur:fix_vsetvl
June 20, 2025 15:36 6m 59s
Fix a few issues in the vset{i}vl{i} instructions. Build and test Lean backend #377: Pull request #1051 synchronize by pmundkur
June 20, 2025 15:19 6m 47s pmundkur:fix_vsetvl
pmundkur:fix_vsetvl
June 20, 2025 15:19 6m 47s
Fix a bug in clint_dispatch(). Build and test Lean backend #376: Pull request #1078 synchronize by pmundkur
June 20, 2025 14:16 6m 57s pmundkur:fix_clint_mip.sti
pmundkur:fix_clint_mip.sti
June 20, 2025 14:16 6m 57s
Improve typing of division and modulo Build and test Lean backend #375: Pull request #1082 opened by Timmmm
June 20, 2025 12:33 6m 48s Timmmm:user/timh/division_types
Timmmm:user/timh/division_types
June 20, 2025 12:33 6m 48s
Use to_bits_truncate in the M extension Build and test Lean backend #374: Pull request #1081 opened by Timmmm
June 20, 2025 12:23 7m 36s Timmmm:user/timh/m_cleanup
Timmmm:user/timh/m_cleanup
June 20, 2025 12:23 7m 36s