mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-26 17:29:23 +00:00
d88688781d
Use `chformal` as example, comparing the `autocmd` output with `ChformalPass::formal_help()`, the json dump from the `ContentListing`, the command line output, and the RST generated (using `autocmd_rst`). Includes bullet points on each step for more information. Should eventually end up in `yosys_internals/extending_yosys/contributing.rst`, but it currently lives in `cmd/index_internal.rst` to avoid merge conflicts since cell help documentation is still WIP. Also exports chformal source and help output to `docs/source/generated` during `make docs/prep`. |
||
|---|---|---|
| .. | ||
| _downloads | ||
| _images | ||
| _static | ||
| appendix | ||
| cell | ||
| cmd | ||
| code_examples | ||
| getting_started | ||
| using_yosys | ||
| yosys_internals | ||
| bib.rst | ||
| cell_index.rst | ||
| cmd_ref.rst | ||
| conf.py | ||
| index.rst | ||
| introduction.rst | ||
| literature.bib | ||
| requirements.txt | ||