tree b60116c19405d2e80adfd159a44bf9ac32f17e16
parent 9f5b638736ea1c3f20b72d31b9969d6e6ebc230b
author Philipp Wagner <phw@lowrisc.org> 1620205120 +0100
committer Philipp Wagner <mail@philipp-wagner.com> 1620720777 +0100

Update Verible to latest upstream

Verible is providing lint and formatting tooling and is evolving
rapidly in response to OpenTitan requirements.

It is an optional productivity tool; developers are recommended to have
it installed to run lint and early/experimental formatting on their own
machine. Lint is also done in CI.

Update Verible to the latest upstream version to unblock other work,
e.g. #4613 and to include recent lint improvements.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>