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