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, 3 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, 4 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
cf5e2554 / Mike Thompson / 28 hours ago
Merge pull request #1918 from dd-vaibhavjain/cv32e40p/dev_vja_tb_flow_covg
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
ff922157 / Mike Thompson / 32 hours ago
Merge pull request #1922 from dd-baoshan/cv32e40p/dev-baoshan-fix_riscv_generator_bugs
OPEN LOG
compilation failed
PR 1938 Branch tip (current) TREE DIFF
93bf847b / bsm / 31 hours ago
Fix build error from xrun
OPEN LOG
compilation failed
Fork point from cv32e40p/dev (baseline) TREE DIFF
6113f4f1 / Mike Thompson / 6 months ago
Merge pull request #1524 from MikeOpenHWGroup/vptool_readme
OPEN RESULTS OPEN LOG
36 errors, 86 disabled