Skip to content

Actions: jordancarlin/sail-riscv

Actions

Rocq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rocq.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Working on rocq Rocq #17: Commit b829afd pushed by jordancarlin
May 30, 2025 19:04 1m 27s ci_refactor
ci_refactor
May 30, 2025 19:04 1m 27s
TEMP: Enable theorem provers Rocq #16: Commit 30afa55 pushed by jordancarlin
May 30, 2025 18:25 9m 25s ci_refactor
ci_refactor
May 30, 2025 18:25 9m 25s
TEMP: Enable theorem provers Rocq #15: Commit 4351144 pushed by jordancarlin
May 26, 2025 08:32 10m 17s ci_refactor
ci_refactor
May 26, 2025 08:32 10m 17s
TEMP: Enable theorem provers Rocq #14: Commit c64f480 pushed by jordancarlin
May 26, 2025 07:53 10m 4s ci_refactor
ci_refactor
May 26, 2025 07:53 10m 4s
Remove unused lrsc_width_str function Rocq #13: Commit 8c148ae pushed by jordancarlin
April 30, 2025 02:34 3m 6s dev
dev
April 30, 2025 02:34 3m 6s
Remove unused lrsc_width_str function Rocq #12: Commit dd23eb2 pushed by jordancarlin
April 29, 2025 14:12 7m 7s lrsc_width_str
lrsc_width_str
April 29, 2025 14:12 7m 7s
Inline machine info register initialization Rocq #11: Commit 9fdaf16 pushed by jordancarlin
April 29, 2025 07:49 6m 49s inline_machine_info
inline_machine_info
April 29, 2025 07:49 6m 49s
Remove xlen_val Rocq #10: Commit f3f175c pushed by jordancarlin
April 28, 2025 22:35 7m 2s riscv_types
riscv_types
April 28, 2025 22:35 7m 2s
riscv_types cleanup Rocq #9: Commit c352fba pushed by jordancarlin
April 28, 2025 12:38 7m 11s riscv_types
riscv_types
April 28, 2025 12:38 7m 11s
Update README build instructions and general cleanup Rocq #8: Commit faacb0a pushed by jordancarlin
April 28, 2025 11:34 6m 53s readme
readme
April 28, 2025 11:34 6m 53s
Q extension floating point support Rocq #7: Commit 7ce2e99 pushed by jordancarlin
April 26, 2025 21:42 7m 20s quads
quads
April 26, 2025 21:42 7m 20s
Q extension floating point support Rocq #6: Commit 5bb8f54 pushed by jordancarlin
April 26, 2025 21:40 7m 24s quads
quads
April 26, 2025 21:40 7m 24s
Add support for Zhinxmin extension Rocq #5: Commit 17debc3 pushed by jordancarlin
April 26, 2025 18:32 6m 57s zhinxmin
zhinxmin
April 26, 2025 18:32 6m 57s
Change default instructions_per_tick to 2 Rocq #4: Commit f3010b8 pushed by jordancarlin
April 23, 2025 07:39 6m 14s instructions_per_tick
instructions_per_tick
April 23, 2025 07:39 6m 14s
Rename the Execute access type to InstructionFetch Rocq #3: Commit 302f761 pushed by jordancarlin
April 23, 2025 03:01 6m 26s dev
dev
April 23, 2025 03:01 6m 26s
Change default instructions_per_tick to 1 Rocq #2: Commit 3579ffd pushed by jordancarlin
April 23, 2025 02:58 6m 29s instructions_per_tick
instructions_per_tick
April 23, 2025 02:58 6m 29s
Fix precommit failure Rocq #1: Commit 914f263 pushed by jordancarlin
April 21, 2025 14:19 6m 23s precommit_fix
precommit_fix
April 21, 2025 14:19 6m 23s