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
9a8c3de / Mike Thompson / 5 weeks ago
Merge pull request #1393 from silabs-robin/cv32e40s/merge_dev_to_rel_24
OPEN RESULTS OPEN LOG
275 errors, 28 disabled
OPEN COMPARE cv32e40s
New Failures: 6 errors
New Fixes: 1 error
Common: 269 errors, 28 disabled
Previous commit (baseline) TREE DIFF
239df0d / Mike Thompson / 7 months ago
Merge pull request #1212 from silabs-robin/cv32e40s/merge_master_to_rel_8
OPEN RESULTS OPEN LOG
270 errors, 28 disabled
cv32e40s/dev Branch tip (current) TREE DIFF
66a6371 / Henrik Fegran / 8 days ago
Merge pull request #1431 from silabs-mateilga/dut_wrap_obi_update
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
fed4173 / Henrik Fegran / 8 days ago
Merge pull request #1432 from silabs-robin/ci_check_zcmp
OPEN LOG
compilation failed
PR 1435 Branch tip (current) TREE DIFF
957b70b / Marton Teilgard / 34 hours ago
PR review fixes
OPEN LOG
compilation failed
Fork point from cv32e40s/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
PR 1433 Branch tip (current) TREE DIFF
95dfe90 / Robin Pedersen / 7 days ago
mergexs: maintain fv scripts
OPEN LOG
compilation failed
Fork point from cv32e40s/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
PR 1426 Branch tip (current) TREE DIFF
0369d45 / Robin Pedersen / 11 days ago
umode_assert: add extra asserts, comments, and missing conditions
OPEN LOG
compilation failed
Fork point from cv32e40s/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
PR 1423 Branch tip (current) TREE DIFF
a948518 / Henrik Fegran / 2 days ago
Added support for WFE, signal renaming
OPEN LOG
compilation failed
Fork point from cv32e40s/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