mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-26 21:16:03 +00:00
Code Activity

cmdref: Groups and group names

Browse source
This commit is contained in:
Krystine Sherwin 2025-07-21 10:36:19 +12:00
parent d0ce6a3bd6
commit 4ba403829b
No known key found for this signature in database
4 changed files with 17 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/source/cmd/index_passes_sat.rst
View file

@ -1,5 +1,5 @@
sat
------------------
Simulating circuits
-------------------
.. autocmdgroup:: passes/sat
:members: