Verissimo runs continuously every 6 hours on master, release and all open pull request branches.

The executed subset of Verissimo rules is based on suggestions from OpenHW contributors.

Branch Commit Result
master Branch tip (current) TREE DIFF
1f13af6 / Mike Thompson / 24 hours ago
Merge pull request #1269 from DBees/EditTaskIssue
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
OPEN COMPARE cv32e40p
Common: 34 errors, 86 disabled
Previous commit (baseline) TREE DIFF
59bf1fe / Mike Thompson / 6 days ago
Merge pull request #1246 from Datum-Technology-Corporation/master
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
cv32e40p/release Branch tip (current) TREE DIFF
72660ae / Mike Thompson / 3 months ago
Merge pull request #1200 from MikeOpenHWGroup/cv32e40p/release
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
Fork point from master (baseline) TREE DIFF
34436ba / Mike Thompson / 3 months ago
Hotfix: add shell/Makefile variables required by core-v-verif Makefiles, but not used by DVT
OPEN LOG
compilation failed
cv32e40p/dev Branch tip (current) TREE DIFF
bc34e0f / Mike Thompson / 3 weeks ago
Merge pull request #1257 from MikeOpenHWGroup/cv32e40p/dev
OPEN RESULTS OPEN LOG
20 errors, 92 disabled
OPEN COMPARE cv32e40p
Common: 20 errors, 92 disabled
Fork point from master (baseline) TREE DIFF
581c635 / Mike Thompson / 3 weeks ago
Merge pull request #1253 from eroom1966/cv32e40p/dev-pulp
OPEN RESULTS OPEN LOG
20 errors, 92 disabled
PR 1270 Branch tip (current) TREE DIFF
6118507 / Zineb El Kacimi / 29 hours ago
uvma_rvfi_instr_mon.sv: fix a non compliant LRM SystemVerilog code
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
OPEN COMPARE cv32e40p
Common: 34 errors, 86 disabled
Fork point from master (baseline) TREE DIFF
3810f2e / Mike Thompson / 7 weeks ago
Merge pull request #1243 from jstraus59/pulp_simd_encoding_fix_signed
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
PR 1254 Branch tip (current) TREE DIFF
bcd30a1 / Fatima Saleem / 4 days ago
added linker as an argument of cva6.py
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
OPEN COMPARE cv32e40p
Common: 34 errors, 86 disabled
Fork point from master (baseline) TREE DIFF
3810f2e / Mike Thompson / 7 weeks ago
Merge pull request #1243 from jstraus59/pulp_simd_encoding_fix_signed
OPEN RESULTS OPEN LOG
34 errors, 86 disabled
PR 1248 Branch tip (current) TREE DIFF
4580e85 / eroom1966 / 6 weeks ago
v0.2.0 spec additions for E40S/X
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
OPEN COMPARE cv32e40p
New Failures: 2 errors
New Fixes: 2 errors
Common: 87 errors, 70 disabled
Fork point from master (baseline) TREE DIFF
54db8bd / eroom1966 / 5 months ago
add debug fix for haltreq priority
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
PR 1160 Branch tip (current) TREE DIFF
6b4d535 / mcu40nm / 4 months ago
Merge branch 'cv32e40p/release' into cv32e40p/merge_rel_to_dev_12
OPEN LOG
compilation failed
Fork point from master (baseline) TREE DIFF
bfc4fda / Henrik Fegran / 4 months ago
Merge pull request #1157 from MikeOpenHWGroup/cv32e40p/release
OPEN LOG
compilation failed
PR 1134 Branch tip (current) TREE DIFF
64a4bee / RanjanThales / 3 months ago
Merge branch 'openhwgroup:cva6/dev' into cva6/dev
OPEN LOG
compilation failed
Fork point from master (baseline) TREE DIFF
2d7c125 / JeanRochCoulon / 3 months ago
Merge pull request #1174 from Gchauvon/fix/pr-cva6-813
OPEN LOG
compilation failed