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
0defa6b / Steve Richmond / 2 days ago Merge pull request #761 from MikeOpenHWGroup/master |
OPEN COMPARE
cv32e40p
Common: 272 errors, 54 disabled |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|
|
Previous commit (baseline)
TREE
DIFF
e94ad77 / Mike Thompson / 3 days ago Merge pull request #756 from strichmo/strichmo/pr/isa_i_m_vplan_review |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|||
| cv32e40p/release |
Branch tip (current)
TREE
DIFF
6ade9d5 / Mike Thompson / 12 days ago Merge pull request #741 from strichmo/cv32e40p/merge_master_to_rel_9 |
OPEN COMPARE
cv32e40p
Common: 272 errors, 54 disabled |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
1191b61 / Mike Thompson / 12 days ago Merge pull request #739 from strichmo/strichmo/pr/master_merge_210720 |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|||
| cv32e40p/dev |
Branch tip (current)
TREE
DIFF
4150cb0 / Mike Thompson / 12 days ago Merge pull request #743 from strichmo/cv32e40p/merge_rel_to_dev_6 |
OPEN COMPARE
cv32e40p
Common: 272 errors, 54 disabled |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
1191b61 / Mike Thompson / 12 days ago Merge pull request #739 from strichmo/strichmo/pr/master_merge_210720 |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|||
| PR 760 |
Branch tip (current)
TREE
DIFF
90bbc02 / Mike Thompson / 7 hours ago OBI MEMORY AGENT is not compiled by default for CV32E40P |
OPEN COMPARE
cv32e40p
New Failures: 58 errors Common: 272 errors, 54 disabled |
OPEN RESULTS
OPEN LOG
330 errors, 54 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
0defa6b / Steve Richmond / 2 days ago Merge pull request #761 from MikeOpenHWGroup/master |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|||
| PR 746 |
Branch tip (current)
TREE
DIFF
00c2317 / Steve Richmond / 11 days ago remove local overrides, the core cntrl config object will configure ISS based on design parameters |
OPEN COMPARE
cv32e40p
Common: 272 errors, 54 disabled |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|
|
Fork point from master (baseline)
TREE
DIFF
23b6894 / Mike Thompson / 12 days ago Merge pull request #742 from strichmo/cv32e40x/merge_rel_to_dev_6 |
OPEN RESULTS
OPEN LOG
272 errors, 54 disabled |
|||
| PR 621 |
Branch tip (current)
TREE
DIFF
12e0fdf / Mike Thompson / 3 weeks ago Merge branch 'merge_obi_mem' of github.com:MikeOpenHWGroup/core-v-verif into merge_obi_mem |
OPEN LOG
compilation failed |
||
|
Fork point from master (baseline)
TREE
DIFF
98a7229 / Mike Thompson / 2 months ago Merge pull request #620 from strichmo/strichmo/pr/dsim_json_waves_fail |
OPEN LOG
compilation failed |
|||
| PR 451 |
Branch tip (current)
TREE
DIFF
62f096c / Mike Thompson / 5 months ago Merge pull request #2 from OttG/development/cva6-xrun-make |
OPEN LOG
compilation failed |
||
|
Fork point from master (baseline)
TREE
DIFF
e8337f4 / Mike Thompson / 6 months ago Merge remote-tracking branch 'upstream/master' |
OPEN LOG
compilation failed |
|||
| PR 431 |
Branch tip (current)
TREE
DIFF
95a80e4 / eroom / 6 months ago Merge pull request #10 from openhwgroup/master |
OPEN LOG
compilation failed |
||
|
Fork point from master (baseline)
TREE
DIFF
e9cbe83 / Steve Richmond / 6 months ago Merge pull request #454 from MikeOpenHWGroup/zero2printf |
OPEN LOG
compilation failed |
|||