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
Catherine
ca88868902
Merge pull request #5846 from flumf/main
...
Upgrade to WASI SDK 33 and drop exception workaround
2026-05-02 09:58:40 +00:00
bin
5dfe1937a0
Upgrade to WASI SDK 33 and enable exceptions
2026-05-01 13:30:43 -04:00
Emil J
18b832247b
Merge pull request #5843 from QuantamHD/simplemap_pmux
...
simplemap: Moves $pmux mapping from techmap.v to simple map
2026-04-30 10:36:27 +00:00
Ethan Mahintorabi
805c302411
simplemap: Moves $pmux mapping from techmap.v to simple map
...
This Fixes the slow downs I observed in techmap.v, which we
attempted to fix via the simplify ast.h route originally. This
turned out to be rather complex though.
By moving $pmux to simplemap we can just avoid that code. My
test case now runs in 310s which is 40s faster than the baseline
change.
B:507898959
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
2026-04-29 21:20:39 +00:00
nella
92287d4857
Merge pull request #5841 from YosysHQ/nella/fix-liberty
...
Fix ABC: Merged scl conversion failed, using liberty format warning when using -genlib.
2026-04-28 16:43:25 +00:00
nella
d2f7fecef5
Fix liberty cache warning with -genlib.
2026-04-28 15:21:54 +02:00
Lofty
0d3923d086
abc_new: use default script if not specified
2026-04-28 12:33:21 +01:00
Emil J
a966d06524
Merge pull request #5825 from petterreinholdtsen/autotest-race-text-busy
...
Added locking around compiling in autotest.sh to avoid text busy race.
2026-04-28 09:12:33 +00:00
Emil J
cfa66f5335
Merge pull request #5824 from petterreinholdtsen/autotest-cxxflags
...
Use CPPFLAGS and CXXFLAGS when compiling in autotest.sh.
2026-04-27 22:06:07 +00:00
nella
4dbae6a473
Merge pull request #5826 from petterreinholdtsen/autotest-print-log-on-error
...
Made autotest.sh print log on error for easier debugging in CI setups.
2026-04-27 15:43:43 +00:00
Emil J
627b691578
Merge pull request #5831 from stashcroft/main
...
Make sure co-simulation only uses integer arithmetic
2026-04-27 14:03:58 +00:00
Miodrag Milanović
6b78731792
Merge pull request #5829 from YosysHQ/update_abc
...
Update ABC as per 2026-04-22
2026-04-27 10:59:29 +00:00
Lofty
5197b9c8ce
Merge pull request #5833 from ghaworth/fix-sdp-dipbdip-typo
...
Fix RAMB36E1/E2 SDP parity port mapping typo
2026-04-25 08:41:31 +00:00
