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
84f314b3 / silabs-robin / 7 days ago
Merge pull request #2323 from silabs-robin/s_dev2rel
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
26b0c8c7 / Henrik Fegran / 6 months ago
Merge pull request #1992 from silabs-robin/srel_pullsdev
OPEN LOG
compilation failed
cv32e40s/dev Branch tip (current) TREE DIFF
afbbe5e1 / silabs-robin / 6 days ago
Merge pull request #2325 from silabs-mateilga/pma_cfg_2_fix
OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
0cb7c24e / silabs-robin / 7 days ago
Merge pull request #2322 from silabs-krdosvik/clic-pma
OPEN LOG
compilation failed
PR 2337 Branch tip (current) TREE DIFF
5c26c213 / Kristine Dosvik / 30 hours ago
make pma 2 clic config, clock sequences, remove todos, add and remove comments
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 7 months ago
Merge pull request #1887 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
272 errors, 28 disabled
PR 2332 Branch tip (current) TREE DIFF
6a1f2f71 / Robin Pedersen / 5 days ago
detect pma load/store fault, use in assert
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 7 months ago
Merge pull request #1887 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
272 errors, 28 disabled
PR 2331 Branch tip (current) TREE DIFF
55beae55 / Kristine Dosvik / 5 days ago
choose to do file substitution
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 7 months ago
Merge pull request #1887 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
272 errors, 28 disabled
PR 1733 Branch tip (current) TREE DIFF
5f076a39 / Henrik Fegran / 9 months ago
Added script to generate c header from yaml
OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
05ba4eb0 / JeanRochCoulon / 1 year, 4 months ago
Merge pull request #1395 from openhwgroup/cva6/dev
OPEN RESULTS OPEN LOG
268 errors, 28 disabled