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 |