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 / 11 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 / 12 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
7171921d / Mike Thompson / 6 days ago Merge pull request #1598 from pascalgouedo/cv32e40p/dev_pgo |
OPEN RESULTS
OPEN LOG
208 errors, 86 disabled |
OPEN COMPARE
cv32e40p
Common: 208 errors, 86 disabled |
|
Previous commit (baseline)
TREE
DIFF
739b2761 / Mike Thompson / 3 weeks ago Merge pull request #1576 from guojiazhuxi/ultichip_guojiazhuxi_20230111 |
OPEN RESULTS
OPEN LOG
208 errors, 86 disabled |
|||
PR 1590 |
Branch tip (current)
TREE
DIFF
a9ae8775 / guojiazhuxi / 2 weeks ago fix error |
OPEN RESULTS
OPEN LOG
208 errors, 86 disabled |
OPEN COMPARE
cv32e40p
New Failures: 188 errors New Fixes: 16 errors, 3 disabled Common: 20 errors, 80 disabled |
|
Fork point from cv32e40p/dev (baseline)
TREE
DIFF
6113f4f1 / Mike Thompson / 8 weeks ago Merge pull request #1524 from MikeOpenHWGroup/vptool_readme |
OPEN RESULTS
OPEN LOG
36 errors, 86 disabled |
|||
PR 1358 |
Branch tip (current)
TREE
DIFF
fd1687b3 / Yoann Pruvost / 6 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 / 1 year, 1 month ago Merge pull request #1089 from MikeOpenHWGroup/cv32e40p/dev |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |