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
0fa5dfb / Mike Thompson / 3 days ago
Merge pull request #1041 from Datum-Technology-Corporation/master
OPEN COMPARE cv32e40p
Common: 89 errors, 70 disabled
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
Previous commit (baseline) TREE DIFF
13f3c61 / datum-dpoulin / 3 days ago
Updating new-agent target to new URL
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
cv32e40p/release Branch tip (current) TREE DIFF
42ac8a7 / Mike Thompson / 3 weeks ago
Merge pull request #1016 from strichmo/cv32e40p/merge_master_to_rel_17
OPEN COMPARE cv32e40p
Common: 89 errors, 70 disabled
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
Fork point from master (baseline) TREE DIFF
0c772a3 / Mike Thompson / 3 weeks ago
Merge pull request #1012 from strichmo/strichmo/pr/master_merge_211109
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
cv32e40p/dev Branch tip (current) TREE DIFF
c02dd38 / Mike Thompson / 3 days ago
Merge pull request #1042 from Datum-Technology-Corporation/cv32e40p/dev
OPEN COMPARE cv32e40p
New Fixes: 1 error
Common: 88 errors, 70 disabled
OPEN RESULTS OPEN LOG
88 errors, 70 disabled
Fork point from master (baseline) TREE DIFF
0c772a3 / Mike Thompson / 3 weeks ago
Merge pull request #1012 from strichmo/strichmo/pr/master_merge_211109
OPEN RESULTS OPEN LOG
89 errors, 70 disabled
PR 431 Branch tip (current) TREE DIFF
95a80e4 / eroom / 10 months ago
Merge pull request #10 from openhwgroup/master
OPEN LOG
compilation failed
Fork point from master (baseline) TREE DIFF
e9cbe83 / Steve Richmond / 10 months ago
Merge pull request #454 from MikeOpenHWGroup/zero2printf
OPEN LOG
compilation failed