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 / 3 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 / 9 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
7707e755 / Mike Thompson / 2 days ago
Merge pull request #1500 from silabs-robin/linkfencei
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
47a423f0 / Mike Thompson / 13 days ago
Merge pull request #1497 from silabs-robin/fvupdate
OPEN LOG
compilation failed
PR 1514 Branch tip (current) TREE DIFF
9f8d059a / Robin Pedersen / 18 minutes ago
fencei: add error message to assert
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 3 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1510 Branch tip (current) TREE DIFF
6f60cf96 / Robin Pedersen / 2 days ago
pma: add link to coverage in vplan
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 3 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1509 Branch tip (current) TREE DIFF
79f7df99 / Halfdan Bechmann / 5 days ago
Updated ISS config to support Zc* extensions
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 3 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled
PR 1494 Branch tip (current) TREE DIFF
a3815762 / Kristine Dosvik / 5 days ago
merge and adding master and driver modports
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 3 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled