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
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
Petter Reinholdtsen
3187275184
Use CPPFLAGS and CXXFLAGS when compiling in autotest.sh.
...
This ensure the build flags used elsewhere are included
also during testing.
Patch based on change from Daniel Gröber via Debian.
See also issue #5805 .
2026-04-25 06:47:26 +02:00
Petter Reinholdtsen
c03c0d5f9d
Adjusted dot call to avoid pdflatex rejecting input due to too high resolution.
...
Set fairly randomly picked size when generating dot graphs based on
example I came across, to avoid the following error from pdflatex when
building documentation:
[46 <./rdata_map_luts.pdf>]
! Dimension too large.
I am not sure which size make sense, nor how to decide which value are
best.
This issue is a fix for a build problem reported in
<URL: https://bugs.debian.org/1133986 >, which include a
link to the build log of the failed build.
2026-04-25 00:02:05 +02:00
Petter Reinholdtsen
59b3b6d4e4
Added locking around compiling in autotest.sh to avoid text busy race.
...
Patch by Daniel Gröber via Debian.
See also issue #5805 .
2026-04-25 00:01:34 +02:00
Petter Reinholdtsen
c5a8c3cca5
Made autotest.sh print log on error for easier debugging in CI setups.
...
Patch by Daniel Gröber via Debian.
See also issue #5805 .
2026-04-25 00:01:03 +02:00
Emil J
ec0a102302
Merge pull request #5832 from YosysHQ/emil/simple-extract
...
rtlil: rewrite SigSpec::extract for perf and packing
2026-04-24 19:03:53 +00:00