mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-24 00:14:36 +00:00
Code Activity
15679 commits 122 branches 59 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Krystine Sherwin
96b072aeb3
advanced_bugpoint.rst: --dump-design 
Also fix missing double backtick.
 2025-08-05 09:54:02 +12:00
Krystine Sherwin
c994b59ac6
advanced_bugpoint.rst: Paragraphing 2025-08-05 09:54:01 +12:00
Krystine Sherwin
c47b533a3d
docs: Split bugpoint.rst into user/developer 
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.
 2025-08-05 09:54:01 +12:00