luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-09-06 03:52:06 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
c30457480f8a905e252fb09ea688713a86e9da49
yosys/docs/source/cmd/index_formal.rst
T
Krystine Sherwin 3959d19291 Reapply "Add groups to command reference" 
This reverts commit 81f87ce6ed.
2025-08-06 13:52:12 +12:00

6 lines
79 B
ReStructuredText
Raw Blame History

Formal verification
-------------------
.. autocmdgroup:: formal
:members:
Reference in New Issue View Git Blame Copy Permalink