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
e9e0432 / Henrik Fegran / 4 weeks ago
Merge pull request #1411 from silabs-robin/cv32e40x/merge_dev_to_rel_69
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
9c48836 / Mike Thompson / 5 weeks 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
874681f / Henrik Fegran / 5 weeks ago
Merge pull request #1381 from silabs-mateilga/rvfi_seq_trap_switch
OPEN RESULTS OPEN LOG
269 errors, 28 disabled
OPEN COMPARE cv32e40x
Common: 269 errors, 28 disabled
Previous commit (baseline) TREE DIFF
bf064fc / Mike Thompson / 6 weeks ago
Merge pull request #1377 from silabs-robin/formal_nonhardcoded
OPEN RESULTS OPEN LOG
269 errors, 28 disabled
PR 1434 Branch tip (current) TREE DIFF
3f0239d / Robin Pedersen / 7 days ago
Merge branch 'master' of https://github.com/openhwgroup/core-v-verif into mergex
OPEN LOG
compilation failed
Fork point from cv32e40x/dev (baseline) TREE DIFF
05ba4eb / JeanRochCoulon / 5 weeks ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN LOG
compilation failed
PR 1419 Branch tip (current) TREE DIFF
523e4e2 / eroom1966 / 31 hours ago
required changes for Pull Request
OPEN LOG
compilation failed
Fork point from cv32e40x/dev (baseline) TREE DIFF
2ae74aa / Henrik Fegran / 7 months ago
Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s
OPEN RESULTS OPEN LOG
270 errors, 28 disabled