Hongce Zhang
3cbbb9456d
reorder verilog backend port wires
2025-08-07 11:37:23 +08:00
github-actions[bot]
ab66d8b814
Bump version
2025-08-07 00:27:08 +00:00
KrystalDelusion
4230c2712f
Merge pull request #5269 from georgerennie/george/pyosys_source_location
...
pyosys: support trailing defaulted source_location arguments
2025-08-07 11:50:06 +12:00
Rahul Bhagwat
5cc1365b32
add newline - whitespace
2025-08-06 19:00:11 -04:00
Lofty
2298a2aa86
Merge pull request #4750 from georgerennie/george/pyosys_dereference
...
pyosys: dereference cpp objects when constructing a tuple
2025-08-06 22:03:03 +01:00
George Rennie
46a711d566
py_wrap_generator.py: support srd::source_location as trailing default argument
2025-08-06 21:38:03 +01:00
George Rennie
b610afbc1b
py_wrap_generator.py: whitespace
2025-08-06 21:37:28 +01:00
George Rennie
96108ad8b4
kernel/register.h: whitespace
2025-08-06 21:34:37 +01:00
Rahul Bhagwat
f12055d3e0
rm debug logs
2025-08-06 15:39:36 -04:00
Rahul Bhagwat
d3c8e6c14c
use more standard naming conventions
2025-08-06 15:39:30 -04:00
Rahul Bhagwat
7e0157ba2b
fix whitespace issues
2025-08-06 15:32:36 -04:00
Emil J
8576d2d147
Merge pull request #5263 from rocallahan/stringf-width
...
Making `stringf()` use the format conversion specs as-is without widening them
2025-08-06 11:36:28 +02:00
KrystalDelusion
bc0f70563a
Merge pull request #5255 from YosysHQ/krys/re-cmdref
...
Reapply "Add groups to command reference"
2025-08-06 15:25:03 +12:00
Krystine Sherwin
b1eeb7de3d
Less verbose equiv assumes
...
both only print on the first step, and equiv_simple only prints if also verbose
2025-08-06 15:21:10 +12:00
Krystine Sherwin
f9e8127e2b
tests: Add equiv_induct to equiv_assume.ys
2025-08-06 15:13:04 +12:00
Krystine Sherwin
93b39ad9b3
equiv_induct: Add -set-assumes option
...
Uses mostly the same code as equiv_simple, but the assumes are already being imported so long as they're in the selection, so it's even easier.
2025-08-06 15:12:48 +12:00
Krystine Sherwin
20a51742f4
Docs: Fix cmd links from bugpoint docs
2025-08-06 13:52:13 +12:00
Krystine Sherwin
ab403635e3
CI: Enable source tracking for reusable build
...
The `test-docs-build` jobs require source tracking enabled to prevent warnings-as-errors.
Also add an extra note to the readme in case users run into the same.
2025-08-06 13:52:13 +12:00
Krystine Sherwin
891a907a30
Add and use ENABLE_HELP_SOURCE
...
Conditionally include help source tracking to preserve ABI.
Docs builds can (and should) use `ENABLE_HELP_SOURCE` so that the generated sphinx docs can perform default grouping and link to source files.
Regular user-builds don't need the source tracking.
2025-08-06 13:52:13 +12:00
Krystine Sherwin
7fe4ae45fd
log_help: Fix mem leaks
...
`_content` vector owns elements so that when the `ContentListing` is deleted so is the content.
Remove `get_content()` method in favour of `begin()` and `end()` const iterators.
More `const` in general, and iterations over `ContentListing` use `&content` to avoid copying data.
2025-08-06 13:52:12 +12:00
Krystine Sherwin
3959d19291
Reapply "Add groups to command reference"
...
This reverts commit 81f87ce6ed
2025-08-06 13:52:12 +12:00
github-actions[bot]
2ad3532a55
Bump version
2025-08-06 00:27:13 +00:00
Miodrag Milanović
da01e17686
Merge pull request #5267 from jix/verificsva-fix
...
verificsva: Fix typo in the cover only followed-by operator support
2025-08-05 13:08:51 +02:00
Miodrag Milanovic
f769e6e245
Update ABC
2025-08-05 12:27:10 +02:00
Rahul Bhagwat
fe59b6d3db
add safety checks and better name matching
2025-08-04 20:57:43 -04:00
KrystalDelusion
fd2ea51e1e
Merge pull request #5133 from YosysHQ/krys/functional_ordering
...
Maintain port ordering for functional backend
2025-08-05 12:52:44 +12:00
KrystalDelusion
700ba982e8
Merge pull request #5139 from YosysHQ/docs-preview-bugpoint
...
Docs: Add bugpoint guide
2025-08-05 12:51:45 +12:00
github-actions[bot]
f22fe91237
Bump version
2025-08-05 00:27:22 +00:00
Krystine Sherwin
8750ca42d3
docs: Fix formatting
2025-08-05 09:54:02 +12:00
Krystine Sherwin
bfe2418a67
bugpoint.rst: Expand note on checking errors
2025-08-05 09:54:02 +12:00
Krystine Sherwin
96b072aeb3
advanced_bugpoint.rst: --dump-design
...
Also fix missing double backtick.
2025-08-05 09:54:02 +12:00
Krystine Sherwin
4924670325
bugpoint.rst: How to sv-bugpoint
2025-08-05 09:54:02 +12:00
Krystine Sherwin
29d334186c
bugpoint.rst: How to creduce
2025-08-05 09:54:01 +12:00
Krystine Sherwin
c994b59ac6
advanced_bugpoint.rst: Paragraphing
2025-08-05 09:54:01 +12:00
Krystine Sherwin
6b7756b67a
bugpoint.rst: Finish paragraphs
...
Update text to assume bugpoint PR changes.
2025-08-05 09:54:01 +12:00
Krystine Sherwin
aa6c6fd283
bugpoint.rst: Some paragraphs on verilog
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
Krystine Sherwin
65b75049aa
docs: Shuffling bug reporting guidelines
...
Move the "creating an issue" section from bugpoint.rst to "reporting bugs" in `contributing.rst`.
Fix link to `CONTRIBUTING.md`.
Update `CONTRIBUTING.md` to refer to the bugpoint guide instead of the stack overflow guide.
2025-08-05 09:54:00 +12:00
Krystine Sherwin
f0b4f7012e
bugpoint.rst: Extra notes
...
Move `yosys -h bugpoint` failure into a code-block to break up text. Same for the `exec -expect-return` example.
TODOs on #5068 being merged.
2025-08-05 09:54:00 +12:00
Krystine Sherwin
20a573953c
bugpoint.rst: Minimizing scripts
...
part 2: electric boogaloo
2025-08-05 09:54:00 +12:00
Krystine Sherwin
113a6f6e52
bugpoint.rst: yosys -h bugpoint does work
...
I just missed that it only gets included in the makefile if `DISABLE_SPAWN` is set, because I was looking for the C define `YOSYS_DISABLE_SPAWN`.
2025-08-05 09:54:00 +12:00
Krystine Sherwin
c75b07820f
Docs: More bugpoint bullets
...
More info for creating GitHub issues and the different sections.
Discuss additional details that can be included as comments on the issue. Also mention Gists for large files (preferable to downloading a .txt).
Add a warning about external plugins/tools.
Also add a note to `load_design.rst` about `Frontend`s and `-f` command line option.
2025-08-05 09:53:59 +12:00
Krystine Sherwin
e776f1dca2
bugpoint.rst: More paragraphs
...
What do I do with the minimized design and (the first half of) Minimizing scripts
2025-08-05 09:53:59 +12:00
Krystine Sherwin
9fa1f76cf2
bugpoint.rst: Why context matters (bullets)
2025-08-05 09:53:59 +12:00
Krystine Sherwin
2c534c8828
Docs: How to use bugpoint paragraphs
2025-08-05 09:53:59 +12:00
Krystine Sherwin
47c89a61df
Docs: What is bugpoint in paragraphs
2025-08-05 09:53:58 +12:00
Krystine Sherwin
be999219a2
docs: User-defined failures in bugpoint
...
Also some other tidy up and clarifications.
2025-08-05 09:53:58 +12:00
Krystine Sherwin
385d58562d
Docs: Move verilog.rst to using_yosys
...
Was previously in yosys_internals which is more developer focused, rather than user focused.
2025-08-05 09:53:58 +12:00
Krystine Sherwin
8ec3e3a102
docs: Bullets for identifying issues
...
Add a note on fuzzers, with a polite suggestion that if you're fuzzing you should put in the work of identifying the underlying issue so that you (and we) are confident you're not raising multiple issues for the same bug.
2025-08-05 09:53:58 +12:00
Krystine Sherwin
aefe3443aa
docs: Minimizing synth with -run bullets
2025-08-05 09:53:57 +12:00
