Krystine Sherwin
e02f4469c0
equiv_simple: Avoid std::array
...
VS build currently failing with `error C2641: cannot deduce template arguments for 'std::array'`.
Changing to `std::array<Cone, 2>` gives `error C2027: use of undefined type` instead.
2025-08-08 12:37:38 +12:00
github-actions[bot]
c9558b3d4f
Bump version
2025-08-08 00:26:50 +00:00
Emil J. Tywoniak
fcd9f98245
equiv_simple: refactor
2025-08-08 01:35:33 +02:00
KrystalDelusion
7f0e864d44
Merge pull request #5265 from bhagwat-rahul/fix-package-import
...
Support package import
2025-08-08 09:32:54 +12:00
Emil J
21b9c8e4c6
Merge pull request #5236 from rocallahan/const-lookup
...
Make `dict` and `pool` const lookup methods never rehash the hashtable
2025-08-07 11:43:39 +02:00
Emil J
1e58443397
Merge pull request #5264 from YosysHQ/krys/raise_error_always
...
raise_error: Add -always
2025-08-07 11:43:04 +02:00
Miodrag Milanovic
e6059d042d
Next dev cycle
2025-08-07 09:20:45 +02:00
Miodrag Milanovic
9c447ad9d4
Release version 0.56
2025-08-07 07:59:29 +02:00
Hongce Zhang
b635ab72bf
Merge branch 'main' of github.com:zhanghongce/yosys
2025-08-07 11:37:55 +08:00
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
