mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-21 16:16:39 +00:00
Code Activity
15012 commits 99 branches 53 tags 44 MiB
Commit graph

1440 commits

Author SHA1 Message Date
github-actions[bot] ea2c1e7ac7 Bump version 2025-04-15 00:23:32 +00:00
Miodrag Milanović 9f25f972dc
Merge pull request #5008 from donn/wheel_builds_fix 
wheels: fix builds, add linux aarch64 to ci
 2025-04-14 15:10:37 +02:00
Donn b7062143e1 hotfix: fix CHECK_BOOST_PYTHON missing libpython 2025-04-14 14:54:38 +02:00
Donn c18f1310a5 Revert #4901 
Partially reverts commit 9c5bffcf93.

The reasoning behind this is that setup.py is intended to strictly consume the Makefile and not be consumed by it. The attempt at using them recursively has caused a number of issues and has rendered Pyosys unusable to some users: See https://github.com/YosysHQ/yosys/issues/5012

Additionally, unlike the previous pyosys installation target, the wheel installation does not respect PREFIX=, only venvs.

For installation inside a venv, the intended method should remain a user manually executing `pip3 install .` instead of relying on the Makefile.
 2025-04-14 14:45:41 +02:00
github-actions[bot] 9d3d0a4336 Bump version 2025-04-12 00:22:23 +00:00
github-actions[bot] 33c57937cd Bump version 2025-04-10 00:22:42 +00:00
Emil J a5e8f52ce5
Merge pull request #4976 from Logikable/main 
Support array ranges for identifiers in the Liberty parser.
 2025-04-09 22:49:52 +02:00
Donn 2bc2105d82 wheels: fix builds, add linux aarch64 to ci 
Essentially, something is attempting to build the Yosys EXE when you build libyosys.so now. With `ENABLE_PYTHON_CONFIG_EMBED=0`, the Yosys EXE will always fail to build.

Furthermore, because `ENABLE_PYOSYS` now attempts to build a wheel, building a wheel has become recursive.

This commit uses a supplementary set of libs for the EXE (EXE_LIBS) so it and libyosys.so can be built simultaneously, as well as a new Makefile flag, `ENABLE_WHEEL`, to prevent the aforementioned recursion.

I also enabled aarch64 Linux in the CI because it's publicly available now.
 2025-04-09 10:42:40 +02:00
Miodrag Milanovic a2c0847667 Next dev cycle 2025-04-09 08:21:08 +02:00
Miodrag Milanovic fee39a3284 Release version 0.52 2025-04-09 07:38:42 +02:00
github-actions[bot] f602248a2e Bump version 2025-04-09 00:22:49 +00:00
Miodrag Milanovic a9656455b1 Update to latest ABC 2025-04-08 17:39:41 +02:00
github-actions[bot] 857baf2031 Bump version 2025-04-08 00:22:31 +00:00
github-actions[bot] 331952f78d Bump version 2025-04-05 00:22:08 +00:00
KrystalDelusion 40c5694650
Merge pull request #4901 from akashlevy/pyosys_copy_abc 
Copy `abc` stuff for pyosys to enable use of the `abc` pass
 2025-04-05 10:57:02 +13:00
Akash Levy 9c0da98531 Updates 2025-04-03 17:47:48 -07:00
Sean Luchen bdcbbf2db6 Fix existing tests/liberty tests, and add them to Makefile. 2025-04-03 09:56:24 -07:00
KrystalDelusion 1cfe1e2813
Merge pull request #4974 from YosysHQ/micko/config_exitcode 
yosys-config: Propagate exit code for help command
 2025-04-03 09:56:13 +13:00
github-actions[bot] f03b44959b Bump version 2025-04-02 00:23:07 +00:00
Miodrag Milanovic 66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code 2025-04-01 08:39:11 +02:00
github-actions[bot] c08f72b806 Bump version 2025-04-01 00:26:08 +00:00
github-actions[bot] 314842d2a0 Bump version 2025-03-29 00:22:03 +00:00
Akash Levy ca57e14819 Address review feedback 2025-03-27 15:53:50 -07:00
github-actions[bot] d3aec12fe9 Bump version 2025-03-26 00:22:20 +00:00
github-actions[bot] 59602740ee Bump version 2025-03-25 00:23:05 +00:00
KrystalDelusion cce7aaedf7
Merge pull request #4939 from DanielG/rsync-fallback 
mk: Fall back to cp if rsync is not available
 2025-03-25 10:41:27 +13:00
Daniel Gröber 2b67ad78bf mk: Fall back to cp if rsync is not available 2025-03-24 18:06:17 +01:00
KrystalDelusion 8bde6ac17c
Merge pull request #4940 from DanielG/fix-help-rebuild 
mk: Avoid broken rebuild if program --help fails
 2025-03-21 10:01:13 +13:00
KrystalDelusion b06a661913
Merge pull request #4834 from YosysHQ/emil/gzip-refactor 
Memory-efficient zlib usage across Liberty file consumers
 2025-03-21 10:01:00 +13:00
github-actions[bot] f92ad7d900 Bump version 2025-03-20 00:21:55 +00:00
Emil J. Tywoniak 813f909460 gzip: istream 2025-03-19 13:43:44 +01:00
Emil J. Tywoniak 4f3fdc8457 io: refactor string and file work into new unit 2025-03-19 13:43:42 +01:00
Akash Levy 9c5bffcf93 Use wheel 2025-03-17 17:56:02 -07:00
github-actions[bot] 0c689091e2 Bump version 2025-03-18 00:21:58 +00:00
Akash Levy 0abe8bfee8
Merge branch 'YosysHQ:main' into pyosys_copy_abc 2025-03-17 16:50:14 -07:00
Daniel Gröber de11624f42 mk: Avoid broken rebuild if program --help fails 
Make will happily consider a target available if it's zero sized.

When writing output files with shell redirections for commands that usually
succeed we can apply the `|| rm $@` pattern.

For commands where --help exits with failure we always rerun the recipe
instead.
 2025-03-16 10:53:55 +01:00
github-actions[bot] e44d1d404a Bump version 2025-03-13 00:22:18 +00:00
Miodrag Milanovic 1b07d204bb Next dev cycle 2025-03-12 09:11:41 +01:00
Miodrag Milanovic c4b5190229 Release version 0.51 2025-03-12 08:31:37 +01:00
github-actions[bot] d1222c57af Bump version 2025-03-12 00:21:49 +00:00
github-actions[bot] 6462cd2167 Bump version 2025-03-11 00:22:03 +00:00
Emil J 7677a76fed
Merge pull request #4757 from YosysHQ/emil/yosys-config-version 
Makefile: add YOSYS_VER and friends to CXXFLAGS for plugin compat che…
 2025-03-10 17:43:55 +01:00
N. Engelhardt c74df780b7
Merge pull request #4884 from YosysHQ/docs-preview-functional_tutorial 
Docs: More on FunctionalIR
 2025-03-10 15:05:55 +00:00
Emil J. Tywoniak ecd8e4303d Makefile: add YOSYS_VER and friends to CXXFLAGS for plugin compat check fallback 2025-03-10 15:15:34 +01: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
github-actions[bot] 05c81b3f14 Bump version 2025-02-26 00:21:19 +00:00
Krystine Sherwin c429aef60f
docs/rosette: More intro of SMT-LIB backend 
As the intro paragraph (now) says:
> This section will introduce the SMT-LIB functional backend and what changes are needed...

The example is intended to be read without prior knowledge of the SMT-LIB backend, but the previous version glossed over a lot and instead focused on *just* what was changed.
This version should now be easier to follow without prior knowledge, while still being able to learn enough about the `Smt` version to adapt it to a different s-expression target that isn't Rosette.
Also adds a few `literalinclude`s of smtlib.cc, which is now copied to `docs/source/generated` along with producing the rosette diff on the fly (which now also has up to 20 lines of context, enabling the full `Module::write()` diff to be literal included).
 2025-02-22 17:14:13 +13: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