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
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
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
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
