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 / 11 days 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 / 2 weeks 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 / 4 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
35f3bd1 / Mike Thompson / 15 hours ago Merge pull request #1273 from pascalgouedo/dev_pgo_env_fix |
OPEN RESULTS
OPEN LOG
20 errors, 92 disabled |
OPEN COMPARE
cv32e40p
Common: 20 errors, 92 disabled |
|
Fork point from master (baseline)
TREE
DIFF
bc34e0f / Mike Thompson / 4 weeks ago Merge pull request #1257 from MikeOpenHWGroup/cv32e40p/dev |
OPEN RESULTS
OPEN LOG
20 errors, 92 disabled |
|||
PR 1279 |
Branch tip (current)
TREE
DIFF
dca1cd3 / Zineb El Kacimi / 2 days ago Makefile: fix for PR #1271 |
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 / 8 weeks ago Merge pull request #1243 from jstraus59/pulp_simd_encoding_fix_signed |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
PR 1277 |
Branch tip (current)
TREE
DIFF
0021fe4 / Zineb El Kacimi / 2 days ago cvxif_agent: update Readme file |
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 / 8 weeks ago Merge pull request #1243 from jstraus59/pulp_simd_encoding_fix_signed |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
PR 1275 |
Branch tip (current)
TREE
DIFF
e3e4fbe / André Sintzoff / 3 days ago install-riscv-compliance.sh: use main branch |
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 / 8 weeks ago Merge pull request #1243 from jstraus59/pulp_simd_encoding_fix_signed |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
PR 1274 |
Branch tip (current)
TREE
DIFF
6551160 / Pascal Gouedo / 5 days ago FPU moved to cv32e40p wrapper Added configuration files for PULP & FPU Added floating point test |
OPEN RESULTS
OPEN LOG
20 errors, 92 disabled |
OPEN COMPARE
cv32e40p
New Fixes: 14 errors, 3 disabled Common: 20 errors, 86 disabled |
|
Fork point from master (baseline)
TREE
DIFF
dd5956e / Henrik Fegran / 5 months ago Merge pull request #1089 from MikeOpenHWGroup/cv32e40p/dev |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
PR 1270 |
Branch tip (current)
TREE
DIFF
6118507 / Zineb El Kacimi / 11 days 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 / 8 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
006449b / Fatima Saleem / 13 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 / 8 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 / 8 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 / 6 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 / 4 months ago Merge branch 'openhwgroup:cva6/dev' into cva6/dev |
OPEN LOG
compilation failed |
||
Fork point from master (baseline)
TREE
DIFF
2d7c125 / JeanRochCoulon / 4 months ago Merge pull request #1174 from Gchauvon/fix/pr-cva6-813 |
OPEN LOG
compilation failed |