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
9a8c3de5 / Mike Thompson / 5 months ago
Merge pull request #1393 from silabs-robin/cv32e40s/merge_dev_to_rel_24
OPEN RESULTS OPEN LOG
280 errors, 28 disabled
OPEN COMPARE cv32e40s
New Failures: 11 errors
New Fixes: 1 error
Common: 269 errors, 28 disabled
Previous commit (baseline) TREE DIFF
239df0d0 / Mike Thompson / 11 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
fbfd11f8 / Henrik Fegran / 15 hours ago
Merge pull request #1604 from silabs-halfdan/config_yaml_update
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
0a270a8c / Henrik Fegran / 15 hours ago
Merge pull request #1599 from eroom1966/cv32e40s/dev-20230126
OPEN LOG
compilation failed
PR 1586 Branch tip (current) TREE DIFF
95dc9520 / Henrik Fegran / 2 weeks ago
Added Zc directed test to regressions and added zcb, zcmp to enabled compiler extensions
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1559 Branch tip (current) TREE DIFF
e7b65592 / Henrik Fegran / 3 months ago
Zc support
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1555 Branch tip (current) TREE DIFF
af6f5e98 / Robin Pedersen / 5 weeks ago
fv: rename to more descriptive names
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1552 Branch tip (current) TREE DIFF
bb834a09 / eroom1966 / 3 weeks ago
new rvviRefInit prototype
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1532 Branch tip (current) TREE DIFF
d158f772 / Robin Pedersen / 6 weeks ago
interrupt_assert: update dcsr.step comment
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1526 Branch tip (current) TREE DIFF
1d3081ea / Kristine Dosvik / 7 weeks ago
formal runs, not simulation
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled