mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity
14724 commits 91 branches 52 tags 61 MiB
Commit graph

14724 commits

This branch
This branch
All branches
Author SHA1 Message Date
Emil J. Tywoniak 78cb10da69 improve mkdtemp error message 2025-02-26 12:06:54 +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
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
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
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
Emil J. Tywoniak 6027030215 abstract: -value MVP, use buffer-normalized mode 2025-02-18 17:08:45 +01:00
Emil J. Tywoniak 4637fa74e3 abstract: -init MVP 2025-02-18 17:08:45 +01:00
Emil J. Tywoniak e4ca7b8846 abstract: -state MVP 2025-02-18 17:08:45 +01:00
Krystine Sherwin dc03e174af
fixup! Makefile: Warn if submodule status '+'-prefixed 2025-02-18 11:46:11 +13:00
Krystine Sherwin 03d9138744
Makefile: 'U'-prefixed submodule status 
Covering all the bases, I guess?  '-'-prefix is already correctly handled by the base case message.
If the user somehow gets merge conflicts in abc, hopefully they know what they're doing.
 2025-02-18 11:33:06 +13:00
Krystine Sherwin b8777d7893
Makefile: Warn if submodule status '+'-prefixed 
A '+'-prefix means that the submodule is initialized and checked out, but a different commit is checked out.
If this is accidental then the user should run `git submodule update` to fix it.
If it is intentional (because e.g. the user is explicitly wanting to test Yosys with a different version of abc), then creating a new commit in Yosys to update the expected commit is also a valid solution.
 2025-02-18 11:25:04 +13:00
github-actions[bot] 38f858374c Bump version 2025-02-15 00:20:50 +00:00
KrystalDelusion 508e7327e4
Merge pull request #4899 from YosysHQ/shr_int_max 
Fix runtime error on shift by INT_MAX
 2025-02-15 09:52:33 +13:00
Akash Levy 3bca4c10d8 Fix macOS boost-python issues 2025-02-14 11:43:00 -08:00
Krystine Sherwin 4c728968a3
Fix runtime error on shr INT_MAX 2025-02-14 14:01:36 +13:00
Krystine Sherwin db5b76edc1
Add test for shifting by INT_MAX 
Currently resulting in CI failing on main during fsm checks which generate a circuit that simplifies to this.
 2025-02-14 14:01:27 +13:00
Emil J df3c62a4ed
Merge pull request #4892 from YosysHQ/emil/fix-memory-libmap-dangling-cells 
memory_libmap: update indices on design modification
 2025-02-12 10:21:01 +01:00
github-actions[bot] 359901a964 Bump version 2025-02-12 00:21:01 +00:00
Emil J. Tywoniak 55b60dca95 memory_libmap: update indices on design modification 2025-02-11 13:32:34 +01:00
Miodrag Milanovic 6f9c515a22 Next dev cycle 2025-02-11 08:40:50 +01:00
Miodrag Milanovic b5170e1394 Release version 0.50 2025-02-11 07:55:17 +01:00
github-actions[bot] ce5ad2a554 Bump version 2025-02-11 00:20:46 +00:00
KrystalDelusion 78f27e174f
Merge pull request #4887 from JasonBrave/remove-makefile-clean-docs-images-target 
Remove obsolete Makefile docs/images clean call
 2025-02-11 10:31:59 +13:00
Jason Xu 333588265c Remove obsolete Makefile docs/images clean call 2025-02-09 10:22:35 -05:00