github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-25 20:06:27 +00:00
Code Issues Releases Wiki Activity
Files
main
YosysHQ.yosys/docs/source/cmd/index_formal.rst
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 Permalink Blame History

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