mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 21:50:54 +00:00
Code Activity

docs: Split bugpoint.rst into user/developer

Browse source 
Minimizing scripts (and more generally identifying root cause) isn't necessary for regular bug reports.  Rather, it can be useful for developers working on *fixing* bugs, and also for fuzzers to avoid spam.
Minor adjustments to `bugpoint.rst`.
Add note to `advanced_bugpoint.rst` about primitives when minimizing scripts.
This commit is contained in:
Krystine Sherwin 2025-08-05 09:54:01 +12:00
parent 65b75049aa
commit c47b533a3d
No known key found for this signature in database
3 changed files with 217 additions and 217 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docs/source/yosys_internals/extending_yosys/index.rst
View file

@ -11,6 +11,7 @@ of interest for developers looking to customise Yosys builds.
extensions
build_verific
functional_ir
advanced_bugpoint
contributing
test_suites