Martin Povišer
c589714433
test_cell: Update to $macc_v2
2025-08-12 10:57:59 +12:00
Krystine Sherwin
db4ffaffd2
consteval: Fix $bwmux handling
...
If the cell type has a S signal and hasn't already been handled, use `CellTypes::eval(cell, A, B, S)`.
2025-08-12 10:57:58 +12:00
Krystine Sherwin
014eadd8b9
test_cell: Fix $bweqx
2025-08-12 10:57:58 +12:00
Krystine Sherwin
22aa9fba3b
test_cell: Support more cell types
...
Still unsupported:
- wide muxes (`$_MUX16_` and friends)
Partially supported types have comments in `test_cell.cc`.
Fix `CellTypes::eval() for `$_NMUX_`.
Fix `RTLIL::Cell::fixup_parameters()` for $concat, $bwmux and $bweqx.
2025-08-12 10:57:58 +12:00
Krystine Sherwin
481ecb51a7
test_cell: Disable $macc testing
...
Needs updating to `$macc_v2`.
2025-08-12 10:57:58 +12:00
Miodrag Milanović
8c71226d00
Merge pull request #5276 from YosysHQ/krys/bump_nix
...
Bump nix on CI
2025-08-09 07:12:22 +02:00
github-actions[bot]
0d4585dd5f
Bump version
2025-08-09 00:24:43 +00:00
KrystalDelusion
6c84c4a4fc
extra-builds.yml: Bump nix
2025-08-09 11:19:24 +12:00
KrystalDelusion
1ae82d7b9d
Merge pull request #5233 from YosysHQ/krys/equiv_assume
...
Assumptions for equiv_*
2025-08-09 10:39:04 +12:00
Emil J
d68d28d05e
Merge pull request #5183 from YosysHQ/emil/test-diagnostics
...
logger: add -expect types prefix-log, prefix-warning, prefix-error
2025-08-08 14:46:25 +02:00
Emil J
94d3b3eb5a
Merge pull request #5273 from YosysHQ/emil/krys-equiv_assume-refactor
...
equiv_simple: refactor
2025-08-08 10:52:15 +02:00
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
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
