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 / 1 year, 10 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 / 1 year, 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
f70c8207 / Mike Thompson / 5 weeks ago Merge pull request #2280 from XavierAubert/cv32e40p/dev_dd_W45a |
OPEN LOG
compilation failed |
||
Previous commit (baseline)
TREE
DIFF
e8ca5417 / Mike Thompson / 7 weeks ago Merge pull request #2259 from XavierAubert/cv32e40p/dev_dd_W43a |
OPEN LOG
compilation failed |
|||
PR 2305 |
Branch tip (current)
TREE
DIFF
cf3f8a63 / XavierAubert / 13 days ago Merge pull request #94 from XavierAubert/cv32e40p/vja_tb_logging |
OPEN LOG
compilation failed |
||
Fork point from cv32e40p/dev (baseline)
TREE
DIFF
6113f4f1 / Mike Thompson / 1 year ago Merge pull request #1524 from MikeOpenHWGroup/vptool_readme |
OPEN RESULTS
OPEN LOG
36 errors, 86 disabled |