Skip to content

Actions: lowRISC/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor fixes for CVA6 Test coverage #10: Commit 21784af pushed by mndstrmr
6s ast_translate
ast_translate
6s
Add quad floating point to float lib Test coverage #9: Commit d00c025 pushed by mndstrmr
7s sail2_fixes
sail2_fixes
7s
Rename the effect type effects for OCaml 5.3 keyword compatibility Test coverage #8: Commit 9951301 pushed by mndstrmr
7s ast_translate
ast_translate
7s
Rename the effect type effects for OCaml 5.3 keyword compatibility Test coverage #7: Commit 50746d7 pushed by nbdd0121
9s lowrisc
lowrisc
9s
Avoid producing gotos where possible Test coverage #6: Commit 3cf9470 pushed by mndstrmr
7s ast_translate
ast_translate
7s
Move sail_current_exception, add unreachable loc Test coverage #5: Commit 0a978e0 pushed by mndstrmr
7s lowrisc
lowrisc
7s
Move sail_current_exception, add unreachable loc Test coverage #4: Commit defa5a1 pushed by mndstrmr
7s lowrisc
lowrisc
7s
Use logic everywhere, instead of bit Test coverage #3: Commit 1519e5c pushed by mndstrmr
8s lowrisc
lowrisc
8s
Loop unrolling should generate the loop body n times, not duplicate it Test coverage #2: Commit d3e8681 pushed by mndstrmr
7s lowrisc
lowrisc
7s
sail_sv_backend: swap element ordering for unpacked array Test coverage #1: Commit 4832414 pushed by nbdd0121
13s lowrisc
lowrisc
13s