Verissimo runs continuously every 6 hours on release, development and all open pull request branches.

The executed subset of Verissimo rules is based on suggestions from OpenHW contributors.

Branch Commit Result
cv32e40s/release Branch tip (current) TREE DIFF
eda62226 / silabs-robin / 8 months ago
Merge pull request #2432 from torjeikenes/referenceModel
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
c71f2781 / silabs-robin / 9 months ago
Merge pull request #2454 from silabs-robin/vsim_adv_debug_fix
OPEN LOG
compilation failed
cv32e40s/dev Branch tip (current) TREE DIFF
10357102 / silabs-robin / 1 year, 1 month ago
Merge pull request #2349 from silabs-krdosvik/issue2134
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
f8c0fce5 / Henrik Fegran / 1 year, 1 month ago
Merge pull request #2348 from silabs-krdosvik/clic-minhv-test
OPEN LOG
compilation failed
PR 2541 Branch tip (current) TREE DIFF
f31377c4 / Robin Pedersen / 4 months ago
delete content of './cv32e40s/'
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 1 year, 9 months ago
Merge pull request #1887 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
272 errors, 28 disabled
PR 1733 Branch tip (current) TREE DIFF
5f076a39 / Henrik Fegran / 1 year, 11 months ago
Added script to generate c header from yaml
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 2 years, 6 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled