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
cv32e40x/release Branch tip (current) TREE DIFF
e9e0432d / Henrik Fegran / 9 months ago
Merge pull request #1411 from silabs-robin/cv32e40x/merge_dev_to_rel_69
OPEN RESULTS OPEN LOG
269 errors, 28 disabled
OPEN COMPARE cv32e40x
Common: 269 errors, 28 disabled
Previous commit (baseline) TREE DIFF
9c488360 / Mike Thompson / 9 months ago
Merge pull request #1385 from silabs-robin/cv32e40x/merge_dev_to_rel_61
OPEN RESULTS OPEN LOG
269 errors, 28 disabled
cv32e40x/dev Branch tip (current) TREE DIFF
7fdba5f6 / Mike Thompson / 7 weeks ago
Merge pull request #1787 from leemango1998/cv32e40x/dev
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
506705da / Henrik Fegran / 3 months ago
Merge pull request #1677 from eroom1966/cv32e40x/dev
OPEN LOG
compilation failed
PR 1928 Branch tip (current) TREE DIFF
6989ea62 / eroom1966 / 5 days ago
updates for spec 0.9.0
OPEN LOG
compilation failed
Fork point from cv32e40x/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 9 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled