End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model #275
marnovandermaas
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
Run quality checks (Lint and DV)
11m 27s
Annotations
10 errors
|
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
|
|
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
|
|
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
|
|
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
|
|
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
|
|
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
|
|
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
|
|
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
|
|
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
|
|
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
|