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