Closed imphil closed 2 years ago
See the OT configuration at https://github.com/lowRISC/opentitan/blob/master/hw/lint/tools/veriblelint/rules.vbl. We'll probably get this config for free once we vendor the latest changes in from OT.
Verible lint is now running in CI
The title says it all ... AscentLint complains about it, but seemingly no of our other linters in Ibex cares. I'd expect there to be a verible lint option we just need to turn on.