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
cv32e40p/release Branch tip (current) TREE DIFF
72660aea / Mike Thompson / 9 months ago
Merge pull request #1200 from MikeOpenHWGroup/cv32e40p/release
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
OPEN COMPARE cv32e40p
Common: 34 errors, 86 disabled
Previous commit (baseline) TREE DIFF
34436ba4 / Mike Thompson / 10 months ago
Hotfix: add shell/Makefile variables required by core-v-verif Makefiles, but not used by DVT
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
cv32e40p/dev Branch tip (current) TREE DIFF
0bcdced2 / Mike Thompson / 4 months ago
Merge pull request #1340 from pascalgouedo/dev_pgo_fpu_integration
OPEN RESULTS OPEN LOG
20 errors, 92 disabled
OPEN COMPARE cv32e40p
Common: 20 errors, 92 disabled
Previous commit (baseline) TREE DIFF
e6de6f61 / Mike Thompson / 5 months ago
Merge pull request #1274 from pascalgouedo/dev_pgo_fpu_integration
OPEN RESULTS OPEN LOG
20 errors, 92 disabled
PR 1358 Branch tip (current) TREE DIFF
fd1687b3 / Yoann Pruvost / 4 months ago
Adding default debug address for e40p + cosmetic update
OPEN RESULTS OPEN LOG
207 errors, 86 disabled
OPEN COMPARE cv32e40p
New Failures: 187 errors
New Fixes: 14 errors, 3 disabled
Common: 20 errors, 79 disabled
Fork point from cv32e40p/dev (baseline) TREE DIFF
dd5956ee / Henrik Fegran / 11 months ago
Merge pull request #1089 from MikeOpenHWGroup/cv32e40p/dev
OPEN RESULTS OPEN LOG
34 errors, 86 disabled