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
72660ae / Mike Thompson / 8 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
34436ba / Mike Thompson / 8 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
0bcdced / Mike Thompson / 2 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
e6de6f6 / Mike Thompson / 3 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
fd1687b / Yoann Pruvost / 8 weeks 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, 80 disabled |
|
|
Fork point from cv32e40p/dev (baseline)
TREE
DIFF
dd5956e / Henrik Fegran / 9 months ago Merge pull request #1089 from MikeOpenHWGroup/cv32e40p/dev |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||