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 / 3 years 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 / 3 years, 1 month 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
33917ee5 / pascalgouedo / 8 months ago
Merge pull request #2506 from XavierAubert/cv32e40p/closure 		OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
1ea175b8 / pascalgouedo / 8 months ago
Merge pull request #2505 from pascalgouedo/cv32e40p/dev_dd_pgo_doc 		OPEN LOG
compilation failed
PR 2585 Branch tip (current) TREE DIFF
a3d5c669 / mike / 11 days ago
Module name must match filename 		OPEN LOG
compilation failed
Fork point from cv32e40p/dev (baseline) TREE DIFF
6113f4f1 / Mike Thompson / 2 years, 3 months ago
Merge pull request #1524 from MikeOpenHWGroup/vptool_readme 		OPEN RESULTS OPEN LOG
36 errors, 86 disabled
PR 2474 Branch tip (current) TREE DIFF
203bccc1 / Xavier Aubert / 8 months ago
fix for issue 2386 		OPEN LOG
compilation failed
Fork point from cv32e40p/dev (baseline) TREE DIFF
6113f4f1 / Mike Thompson / 2 years, 3 months ago
Merge pull request #1524 from MikeOpenHWGroup/vptool_readme 		OPEN RESULTS OPEN LOG
36 errors, 86 disabled
PR 2458 Branch tip (current) TREE DIFF
b3ed4783 / subbu009 / 9 months ago
Added wait on reset_n 		OPEN LOG
compilation failed
Fork point from cv32e40p/dev (baseline) TREE DIFF
6113f4f1 / Mike Thompson / 2 years, 3 months ago
Merge pull request #1524 from MikeOpenHWGroup/vptool_readme 		OPEN RESULTS OPEN LOG
36 errors, 86 disabled