luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
yosys/docs/source/cmd/index_formal.rst

6 lines
79 B
ReStructuredText
Raw Normal View History

cmdref: Assigning cmds to formal group Give formal index a proper title. Use `Pass::formatted_help()` to assign the group, but still return `false` because the help text still comes from `Pass::help()`. Tidy up some of the affected files' includes to make use of the shared `yosys.h` includes.
2025-07-21 00:35:56 +02:00
Formal verification
-------------------
Docs: Group commands Removes group parsing from command ref domain, instead relying on a 'groups' object in the cmds.json file. `docs/source/cmd` is no longer ignored or cleaned.
2025-07-21 00:34:13 +02:00
.. autocmdgroup:: formal
:members: