Verissimo runs continuously every 6 hours on release, development and all open pull request branches.
The executed subset of Verissimo rules is based on suggestions from OpenHW contributors.
Branch | Commit | Result | ||
---|---|---|---|---|
cv32e40s/release |
Branch tip (current)
TREE
DIFF
9a8c3de5 / Mike Thompson / 5 months ago Merge pull request #1393 from silabs-robin/cv32e40s/merge_dev_to_rel_24 |
OPEN RESULTS
OPEN LOG
280 errors, 28 disabled |
OPEN COMPARE
cv32e40s
New Failures: 11 errors New Fixes: 1 error Common: 269 errors, 28 disabled |
|
Previous commit (baseline)
TREE
DIFF
239df0d0 / Mike Thompson / 11 months ago Merge pull request #1212 from silabs-robin/cv32e40s/merge_master_to_rel_8 |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||
cv32e40s/dev |
Branch tip (current)
TREE
DIFF
fbfd11f8 / Henrik Fegran / 15 hours ago Merge pull request #1604 from silabs-halfdan/config_yaml_update |
OPEN LOG
compilation failed |
||
Previous commit (baseline)
TREE
DIFF
0a270a8c / Henrik Fegran / 15 hours ago Merge pull request #1599 from eroom1966/cv32e40s/dev-20230126 |
OPEN LOG
compilation failed |
|||
PR 1586 |
Branch tip (current)
TREE
DIFF
95dc9520 / Henrik Fegran / 2 weeks ago Added Zc directed test to regressions and added zcb, zcmp to enabled compiler extensions |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |
|||
PR 1559 |
Branch tip (current)
TREE
DIFF
e7b65592 / Henrik Fegran / 3 months ago Zc support |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |
|||
PR 1555 |
Branch tip (current)
TREE
DIFF
af6f5e98 / Robin Pedersen / 5 weeks ago fv: rename to more descriptive names |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |
|||
PR 1552 |
Branch tip (current)
TREE
DIFF
bb834a09 / eroom1966 / 3 weeks ago new rvviRefInit prototype |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |
|||
PR 1532 |
Branch tip (current)
TREE
DIFF
d158f772 / Robin Pedersen / 6 weeks ago interrupt_assert: update dcsr.step comment |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |
|||
PR 1526 |
Branch tip (current)
TREE
DIFF
1d3081ea / Kristine Dosvik / 7 weeks ago formal runs, not simulation |
OPEN LOG
compilation failed |
||
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
05ba4eb0 / JeanRochCoulon / 5 months ago Merge pull request #1395 from openhwgroup/cva6/dev |
OPEN RESULTS
OPEN LOG
268 errors, 28 disabled |