| commit | 29553ae6b136e6444a34c22bea759dab1bdadee1 | [log] [tgz] |
|---|---|---|
| author | Michael Schaffner <msf@opentitan.org> | Fri Apr 17 15:44:56 2020 -0700 |
| committer | Michael Schaffner <msf@google.com> | Tue May 05 11:58:30 2020 -0700 |
| tree | 904c0d11c5ba2f10af8912a546d2670df40cbe58 | |
| parent | 4cc865a33c2a2f9f54934e304488937c20bae982 [diff] [blame] |
[doc] Update lint documentation Signed-off-by: Michael Schaffner <msf@opentitan.org>
diff --git a/tool_requirements.py b/tool_requirements.py index 7777c6e..4a1a0f2 100644 --- a/tool_requirements.py +++ b/tool_requirements.py
@@ -6,4 +6,5 @@ # and inserted into the documentation. __TOOL_REQUIREMENTS__ = { 'verilator': '4.028', + 'verible': '0.0-375-g7d55b5b', }