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 |
|||