Skip to content

Actions: lowRISC/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fixes for CVA6 Formal Verification Check formatting #14: Commit 967bd8e pushed by BrandonTang89
5m 15s cva6
cva6
5m 15s
Minor fixes for CVA6 Check formatting #13: Commit 21784af pushed by mndstrmr
5m 8s ast_translate
ast_translate
5m 8s
Lean: compat between early return and exception (#1553) Check formatting #12: Commit 479e75a pushed by mndstrmr
5m 6s sail2_fixes
sail2_fixes
5m 6s
Add quad floating point to float lib Check formatting #11: Commit d00c025 pushed by mndstrmr
5m 24s sail2_fixes
sail2_fixes
5m 24s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #10: Commit 9951301 pushed by mndstrmr
5m 57s ast_translate
ast_translate
5m 57s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #9: Commit 50746d7 pushed by nbdd0121
8m 40s lowrisc
lowrisc
8m 40s
Avoid producing gotos where possible Check formatting #8: Commit 3cf9470 pushed by mndstrmr
5m 17s ast_translate
ast_translate
5m 17s
Move sail_current_exception, add unreachable loc Check formatting #7: Commit 0a978e0 pushed by mndstrmr
1m 40s lowrisc
lowrisc
1m 40s
Move sail_current_exception, add unreachable loc Check formatting #6: Commit defa5a1 pushed by mndstrmr
41s lowrisc
lowrisc
41s
Use logic everywhere, instead of bit Check formatting #5: Commit 1519e5c pushed by mndstrmr
1m 36s lowrisc
lowrisc
1m 36s
Loop unrolling should generate the loop body n times, not duplicate it Check formatting #4: Commit d3e8681 pushed by mndstrmr
5m 3s lowrisc
lowrisc
5m 3s
sail_sv_backend: swap element ordering for unpacked array Check formatting #3: Commit 4832414 pushed by nbdd0121
5m 19s lowrisc
lowrisc
5m 19s
sail_sv_backend: swap element ordering for unpacked array Check formatting #2: Commit a85a3a8 pushed by nbdd0121
5m 25s unpacked-array
unpacked-array
5m 25s
sail_sv_backend: use packed array Check formatting #1: Commit e50d810 pushed by nbdd0121
5m 13s unpacked-array
unpacked-array
5m 13s