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 / 3 weeks 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 / 4 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 / 4 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 / 11 days 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 / 6 weeks ago Merge pull request #1257 from MikeOpenHWGroup/cv32e40p/dev |
OPEN RESULTS
OPEN LOG
20 errors, 92 disabled |
|||
| PR 1288 |
Branch tip (current)
TREE
DIFF
c6c661f / Robin Pedersen / 4 hours ago add 40s pmp vplan |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
OPEN COMPARE
cv32e40p
Common: 34 errors, 86 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 3 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
| PR 1287 |
Branch tip (current)
TREE
DIFF
255a551 / Robin Pedersen / 4 hours ago add 40s umode vplan |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
OPEN COMPARE
cv32e40p
Common: 34 errors, 86 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 3 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
| PR 1280 |
Branch tip (current)
TREE
DIFF
fb38557 / Robin Pedersen / 9 days ago umode_assert: handle remaining todos |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
OPEN COMPARE
cv32e40p
Common: 34 errors, 86 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 3 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
34 errors, 86 disabled |
|||
| PR 1274 |
Branch tip (current)
TREE
DIFF
1e16aa7 / Pascal Gouedo / 8 days ago Added correct architecture compiler flags depending on FPU parameter (can still be overidden at makeuvmt call) |
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
c591b4e / Zineb El Kacimi / 3 weeks 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 / 10 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 / 3 weeks 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 / 10 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 / 9 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 |
|||