Krystine Sherwin
913ac04764
hierarchy: Derive abstract cells in top mod
...
Previously abstract cells would only be derived if there was no top module declared, this means that `-check` would miss certain kinds of errors that it would normally detect. This fixes #4927 .
2025-03-07 10:12:29 +13:00
Krystine Sherwin
5748b37b1c
tests: Add test for reassigning localparam
...
i.e. Wrong error message mentioning defparam when overriding localparam #4927
2025-03-07 10:10:05 +13:00
KrystalDelusion
176131b50e
Merge pull request #4855 from YosysHQ/contributing_md
...
Initial version of CONTRIBUTING.md
2025-03-04 15:57:33 +13:00
Emil J
39aacc95df
Merge pull request #4907 from YosysHQ/emil/fix-clear-preset-latch
...
liberty: fix clear and preset latches
2025-03-03 18:53:12 +01:00
N. Engelhardt
0dfd9e9395
Merge pull request #4868 from david-sawatzke/improve_tcl_output_docs
...
tcl: Update help message to clarify usage of `result.string`
2025-03-03 15:16:42 +00:00
N. Engelhardt
268a034b21
Merge pull request #4866 from YosysHQ/ql_ioff
...
add IOFF inference for qlf_k6n10f
2025-03-03 14:12:09 +00:00
KrystalDelusion
9106d6b3bd
Merge pull request #4881 from YosysHQ/pmgen-pass-restructure
...
Move passes out of the passes/pmgen folder
2025-03-01 10:22:54 +13:00
github-actions[bot]
78960292d0
Bump version
2025-02-27 00:21:40 +00:00
Martin Povišer
bca21c60d8
Merge pull request #4902 from akashlevy/splitcells_aldff_fix
...
`aldff`s do not get split by `splitcells` pass
2025-02-27 00:56:46 +01:00
Martin Povišer
f528402c59
Merge pull request #4914 from povik/rm-var-length-array
...
ast/dpicall: Stop using variable length array
2025-02-26 16:25:01 +01:00
Martin Povišer
55595b6c8d
Merge pull request #4918 from YosysHQ/emil/explain-mkdtemp-errno
...
improve mkdtemp error message
2025-02-26 13:27:07 +01:00
Emil J. Tywoniak
78cb10da69
improve mkdtemp error message
2025-02-26 12:06:54 +01:00
github-actions[bot]
05c81b3f14
Bump version
2025-02-26 00:21:19 +00:00
Martin Povišer
0354bd7a90
Merge pull request #4916 from YosysHQ/krys/fix_fst_warning
...
libs/fst: Fix stringop_overread warning under GCC
2025-02-25 21:21:31 +01:00
Emil J
b4a169527d
Merge pull request #4894 from YosysHQ/emil/abstract
...
Add `abstract` pass for formal verification
2025-02-25 11:16:37 +01:00
Krystine Sherwin
68e9317f1f
libs/fst: Patch wx_len overread
2025-02-25 17:18:15 +13:00
Krystine Sherwin
67a0248186
libs/fst: Update from upstream
...
Fixes stringop-overread warning
2025-02-25 17:15:41 +13:00
Emil J. Tywoniak
3f60a2cc67
abstract: test -slice from:to for -init
2025-02-25 00:22:14 +01:00
Emil J. Tywoniak
07004f1089
abstract: typo?
2025-02-25 00:19:15 +01:00
Emil J. Tywoniak
3cb7054e53
abstract: test -slice for all modes, -rtlilslice for -init
2025-02-25 00:18:16 +01:00
Martin Povišer
732ed67014
ast/dpicall: Stop using variable length array
...
Fix the compiler warning
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
2025-02-24 17:32:30 +01:00
KrystalDelusion
98f0ddd636
Merge pull request #4908 from YosysHQ/abc_warn_diff_commit
...
Cover all cases of submodule status in check-git-abc
2025-02-22 11:03:58 +13:00
github-actions[bot]
0778195722
Bump version
2025-02-21 00:21:16 +00:00
KrystalDelusion
9d3ab964b2
Merge pull request #4903 from akashlevy/boost_python_fix_macos
...
Fix macOS boost-python issues
2025-02-20 15:17:34 +13:00
Krystine Sherwin
700b32bc38
Makefile: Fix CHECK_BOOST_PYTHON
...
`python-config --ldflag` includes output of `python-config --libs`; and the `$(CXX)` call in `CHECK_BOOST_PYTHON` still needs those libs.
Move all of the `$(shell $(PYTHON_CONFIG) ..` lines to the top of the block.
2025-02-20 14:38:50 +13:00
KrystalDelusion
b0b53a22b1
Merge pull request #4880 from YosysHQ/clean_run-test
...
Makefile: Add run-test.mk to clean
2025-02-20 14:35:23 +13:00
Krystine Sherwin
38746ea5fa
docs: Cross reference contributing
...
.md points to .html on latest
.rst points to .md on main (not that it will work before this is merged)
2025-02-20 14:16:41 +13:00
Krystine Sherwin
9c9b3ebf9e
CONTRIBUTING.md: Move PR link
2025-02-20 14:15:38 +13:00
Krystine Sherwin
1eaf1847b2
CONTRIBUTING.md: Initial version
2025-02-20 14:15:34 +13:00
Akash Levy
c2a7a5f917
Add python ldflags to LINKFLAGS
2025-02-19 16:04:53 -08:00
Emil J. Tywoniak
5bd18613bb
abstract: test -init
2025-02-19 23:03:43 +01:00
Emil J. Tywoniak
925c617c52
abstract: add module input -value abstraction
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
34e3fcbb31
abstract: test -value
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
d3a90021ad
abstract: test -state
2025-02-18 17:08:45 +01:00
Jannis Harder
212224dfe8
abstract: Add help message
2025-02-18 17:08:45 +01:00
Jannis Harder
2943c2142d
abstract: Improve debug logging
...
Print the port bit instead of the arbitrary representative sigbit to
identify the target of the abstraction operation.
2025-02-18 17:08:45 +01:00
Jannis Harder
a0987195f2
abstract: Support slicing of individual wires
2025-02-18 17:08:45 +01:00
Jannis Harder
4766c92e59
abstract: Allow unconditional value and state abstractions
...
Also improves -enable and -enablen command line handling
2025-02-18 17:08:45 +01:00
Jannis Harder
37aa2e6cd8
abstract: Wire vs port offset confusion bugfix
...
This fixes the offsets_to_abstract collection in abstract_state so that
it now works the same way as in abstract_value which was already
correct.
2025-02-18 17:08:45 +01:00
Jannis Harder
7cd822b7f5
rtlil: Add {from,to}_hdl_index methods to Wire
...
In the past we had the occasional bug due to some place not handling all
4 combinations of upto/downto and zero/nonzero start_offset correctly.
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
28c768e7b8
abstract: better present changes done
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
3dd697fc8a
abstract: improve -init logging
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
9de890c874
abstract: fix -init log_debug bit count, remove unnecessary log_debug
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
aca4d44a40
abstract: improve debug logs for -state and -value
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
cee06cecd0
abstract: factor out emit_mux_anyseq
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
9895370b32
abstract: rework -init without bufnorm, with logging
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
1646991092
abstract: refactor -value
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
e9bba13a0d
abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
3f1ee3e0ae
abstract: -state refactor sigbit rep pool collection
2025-02-18 17:08:45 +01:00
Emil J. Tywoniak
387d0de383
abstract: -state allow partial abstraction, don't use buffer-normalized mode
2025-02-18 17:08:45 +01:00