mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-07-09 13:00:22 +00:00
Code Activity

be more precise on supported rIC3 version

Browse source
This commit is contained in:
N. Engelhardt 2026-07-07 17:33:17 +02:00
parent b2b067757e
commit 39d17d1a2b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/install.rst
View file

@ -138,4 +138,4 @@ rIC3
^^^^
https://github.com/gipsyh/rIC3/
The minimum required version of rIC3 is 1.5.2
SBY currently supports the release version 1.5.2 of rIC3 only.