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
26b0c8c7 / Henrik Fegran / 3 months ago
Merge pull request #1992 from silabs-robin/srel_pullsdev 		OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
9a8c3de5 / Mike Thompson / 1 year, 1 month ago
Merge pull request #1393 from silabs-robin/cv32e40s/merge_dev_to_rel_24 		OPEN RESULTS OPEN LOG
280 errors, 28 disabled
cv32e40s/dev Branch tip (current) TREE DIFF
5258b353 / silabs-robin / 2 days ago
Merge pull request #2158 from silabs-robin/debug_vplan 		OPEN LOG
compilation failed
Previous commit (baseline) TREE DIFF
ff6bf348 / silabs-robin / 2 days ago
Merge pull request #2207 from silabs-hfegran/dev_hf_ifault_asrt_dis 		OPEN LOG
compilation failed
PR 2193 Branch tip (current) TREE DIFF
0c89e677 / Robin Pedersen / 10 days ago
csv2json: apply to 40s vplans 		OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 4 months ago
Merge pull request #1887 from openhwgroup/cva6/dev 		OPEN RESULTS OPEN LOG
272 errors, 28 disabled
PR 2154 Branch tip (current) TREE DIFF
5110ee01 / Robin Pedersen / 6 hours ago
cov: fix block generate-for instances 		OPEN LOG
compilation failed
Fork point from cv32e40s/dev (baseline) TREE DIFF
267ba26c / JeanRochCoulon / 4 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 / 6 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, 1 month ago
Merge pull request #1395 from openhwgroup/cva6/dev 		OPEN RESULTS OPEN LOG
268 errors, 28 disabled