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 / 2 years, 5 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 / 2 years, 6 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
bb392a20 / silabs-robin / 10 weeks ago
Merge pull request #2565 from silabs-robin/rvfi_instr_if_clicptr
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
76311ecd / Mike Thompson / 11 months ago
Merge pull request #2396 from silabs-kjetil/support-out-of-tree-tests
OPEN LOG
compilation failed