Krystine Sherwin
cf75a6ef45
verific: Fix upto ranges
2026-05-21 09:46:56 +12:00
Krystine Sherwin
a0cbe1a334
verific: Fix non-contiguous memory flattening
...
May not be the best approach, insofar as it uses empty memory elements for padding out the alignment, but it does avoid costly address arithmetic.
Still needs to adjust ascii init val addresses, but should work fine for read/write accesses.
2026-05-20 15:18:48 +12:00
Krystine Sherwin
a7c8651b76
Add check_mem command
...
Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878 .
Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files.
2026-05-20 15:02:30 +12:00
Miodrag Milanović
27ae62f492
Merge pull request #5881 from YosysHQ/fix_mingw32
...
Remove unused variable for WIN32
2026-05-14 05:49:26 +00:00
Miodrag Milanovic
1e28e8ccab
Handle unused variable for WIN32
2026-05-13 09:49:39 +02:00
Emil J
2046a23a2f
Merge pull request #5876 from YosysHQ/emil/error-unused-containers
...
Makefile: error on unused variables, including hashlib containers
2026-05-12 21:53:23 +00:00
Emil J. Tywoniak
74efc883c7
threading: temporarily cast to void unused stuff, until we rework single-threaded builds again
2026-05-12 23:16:43 +02:00
Miodrag Milanović
90c26fe671
Merge pull request #5874 from YosysHQ/release/v0.65
...
Release version 0.65
2026-05-12 11:07:48 +00:00
Emil J. Tywoniak
3a150f2883
remove unused hashlib containers
2026-05-12 12:52:10 +02:00
Emil J. Tywoniak
4eb1c61bd5
hashlib: error on unused containers
2026-05-12 12:51:41 +02:00
Emil J. Tywoniak
b06f9bdf18
Makefile: error on unused variables
2026-05-12 12:51:12 +02:00
Miodrag Milanovic
6f16a5cf5f
Next dev cycle
2026-05-12 12:32:27 +02:00
Miodrag Milanovic
b85cad6347
Release version 0.65
2026-05-12 11:37:23 +02:00
Miodrag Milanović
3c619da259
Merge pull request #5873 from YosysHQ/update_abc
...
Update ABC as per 2026-05-12
2026-05-12 07:24:24 +00:00
Miodrag Milanovic
b61bc1eee0
Update ABC as per 2026-05-12
2026-05-12 08:37:44 +02:00
Emil J
54866d154f
Merge pull request #5863 from mole99/leo/memlib-docs
...
memlib: fix documentation for `PORT_<name>_CLK_POL`
2026-05-11 15:15:04 +00:00
Miodrag Milanović
84605d89b7
Merge pull request #5872 from YosysHQ/update_abc
...
Update ABC, reverts 6aaf0db1e1201d72888a461463485b0b5595075a
2026-05-11 13:25:11 +00:00
Miodrag Milanovic
7fe32137bd
Revert "Fix tests due to ABC improvements"
...
This reverts commit 417e871b06
2026-05-11 14:47:08 +02:00
Miodrag Milanovic
40c1485828
Update ABC, reverts 6aaf0db1e1201d72888a461463485b0b5595075a
2026-05-11 14:37:21 +02:00
Leo Moser
fb83719745
memlib: fix documentation for PORT_<name>_CLK_POL
...
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-05-09 10:28:07 +02:00
Emil J
1f02343268
Merge pull request #5817 from YosysHQ/emil/clockgate-reject-sdffe
...
clockgate: reject $sdffe to fix priority handling
2026-05-08 18:38:51 +00:00
nella
db258e6dd9
Merge pull request #5721 from tefantasy/abc-liberty-args
...
abc: new option to pass extra ABC read_lib args
2026-05-08 13:41:01 +00:00
nella
3f68ee851b
Merge branch 'main' into abc-liberty-args
2026-05-08 15:08:12 +02:00
KrystalDelusion
bfc09777e6
Merge pull request #5858 from YosysHQ/krys/check_before_flatten
...
Docs: Update synth starter for check before flatten
2026-05-08 02:31:03 +00:00
Tianji Liu
3f354eb03b
abc: update log for extra read_lib args
2026-05-08 07:17:29 +08:00
nella
10dc0d48b8
Merge branch 'main' into abc-liberty-args
2026-05-07 21:20:17 +02:00
Emil J. Tywoniak
425d47ad2c
clockgate: test $sdffe rejected
2026-05-07 16:13:14 +02:00
Emil J. Tywoniak
687e5442f2
clockgate: formal liberty tests
2026-05-07 16:08:55 +02:00
Emil J. Tywoniak
f4a10a4808
clockgate: reject $sdffe for correct priority handling
2026-05-07 14:41:18 +02:00
Emil J
4e35ed5955
Merge pull request #5827 from cdleary/cdleary/2026-04-21-sv-positional-assignment-unpacked
...
Support positional assignment patterns for unpacked arrays
2026-05-07 10:55:17 +00:00
Tianji Liu
cb6209506e
abc: disable scl merge if extra read_lib args provided
2026-05-07 18:45:35 +08:00
Tianji Liu
f8a50e7174
Merge commit ' ab316c14d2' into abc-liberty-args
2026-05-07 18:12:49 +08:00
Krystine Sherwin
3b26a9e45e
Docs: Update synth starter for check before flatten
2026-05-07 17:38:30 +12:00
Lofty
ab316c14d2
Merge pull request #5844 from YosysHQ/lofty/abc-refactor-5
...
abc_new: integration testing via synth_gatemate
2026-05-06 13:40:15 +00:00
Lofty
de1dd3b1c5
add aiger2_zbuf to constids
2026-05-06 14:03:07 +01:00
Lofty
fecea911ff
synth_gatemate: add -abc_new option
2026-05-06 14:02:48 +01:00
nella
0641b7a725
Merge pull request #5850 from YosysHQ/nella/synth-check
...
Add check before flatten in synth - Fix #429
2026-05-06 11:23:40 +00:00
nella
7de7d04d7c
Update macro order.
2026-05-05 14:53:31 +02:00
nella
fff034d2f8
Add check before flatten in synth_*.
2026-05-05 14:06:58 +02:00
Miodrag Milanović
49b4f6d813
Merge pull request #5855 from YosysHQ/abc_32bit
...
Update ABC with 050-no-128-bit-archs.patch
2026-05-05 11:43:20 +00:00
Miodrag Milanovic
50266c8aa8
Update ABC with 050-no-128-bit-archs.patch
2026-05-05 13:06:20 +02:00
Emil J
73e15f2144
Merge pull request #5851 from YosysHQ/emil/share-remove-force
...
share: remove -force
2026-05-05 09:06:16 +00:00
Miodrag Milanović
b864f70e52
Merge pull request #5848 from YosysHQ/latest_llvm
...
Use latest brew LLVM on macOS
2026-05-05 04:33:59 +00:00
KrystalDelusion
8427bd3a35
Merge pull request #5807 from petterreinholdtsen/docs-dot-dimensions
...
Adjusted dot call to avoid pdflatex rejecting input due to too high resolution.
2026-05-04 22:42:11 +00:00
Krystine Sherwin
67fac1879c
fixup dot pdf size limit
...
Use US letter size as (a less arbitrary) max, since the final latexpdf size is the same.
Drop the ! since smaller images are fine.
Fix `x` -> `,` for `x,y` separator.
2026-05-05 10:24:04 +12:00
Emil J. Tywoniak
7fa660fc60
share: remove -force
2026-05-04 21:34:19 +02:00
nella
16b893bd88
Add check before flatten in synth.
2026-05-04 19:05:00 +02:00
Miodrag Milanović
239e3c2849
Merge pull request #5849 from YosysHQ/strip_windows
...
Strip windows binaries
2026-05-04 14:34:06 +00:00
Miodrag Milanovic
6cd784e52c
Strip windows binaries
2026-05-04 15:47:40 +02:00
Miodrag Milanovic
df1fb14b0c
Use latest brew LLVM on macOS
2026-05-04 10:26:58 +02:00
