Emil J. Tywoniak
992c8c2eb3
twines: use LeafIdString codebase-wide
2026-10-02 18:42:02 +02:00
Emil J. Tywoniak
e3dde40848
twines: LeafIdString
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
080e46417a
verific: twines
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
bd2009bcca
twines: notes from micko
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
62fb600000
use twines() for brevity
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
892dce3e31
rtlil: expose TwinePool &twines() on design objects
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
6f0e648543
twine: split Twine into in-memory TwineNode that doesn't support autoidx variants and temporary TwineSpec that does
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
926264784d
backends: write_xaiger -map-strings for a readable map file for
...
debugging
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
d1de31d2c3
kernel: best-effort IdString provenance checking
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
52faadc45a
pyosys: twines
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
3a24f1de8a
examples: update for pooled names
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
2dc8c1474f
tests: cover twines, name publicity, hashing and sorting
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
c3268923f4
tests: trivial twine damage
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
311e51d227
techlibs: rebuild attribute name handling on the pool
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
81fa4b1c5d
techlibs: trivial twine damage
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
7d3e9534e9
passes: rework passes that search, rekey or cross name pools
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
f4a2982445
passes: trivial twine damage
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
19b0c694ea
backends: reduce twine structural loss for roundtrips
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
2d539c173f
backends: trivial twine damage
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
7d4d4833b2
frontends: use twine suffix nodes for hierarchical names, cache name lookups
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
fa45832fbc
frontends: trivial twine damage
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
ad2cbdd2be
kernel: twine damage for utilities that key or search on names
2026-10-02 18:42:01 +02:00
Emil J. Tywoniak
a028dc4330
kernel: trivial twine damage
2026-10-02 18:34:52 +02:00
Emil J. Tywoniak
6bd1badfbd
kernel: reimplement IdString as handle on a Twine in a per-design TwinePool
2026-10-02 18:34:52 +02:00
nella
fb1a2fdae7
Merge pull request #6202 from hfthra/main
...
multiple constant multiplication (mcm) pass
2026-10-02 07:46:40 +00:00
Tharaka
63fb9dc0fb
fixing a typo
2026-10-02 09:26:57 +02:00
Tharaka
ebaecb50bf
mcm: refactor and move score_intermediate into scorer
2026-10-02 09:26:57 +02:00
Tharaka
489d90f893
refactor with scorer and search classes
2026-10-02 09:26:57 +02:00
Tharaka
a2c891184e
refactor mcm pass
2026-10-02 09:26:57 +02:00
Tharaka
ca911ddb38
multiple constant multiplication (mcm) pass
2026-10-02 09:26:57 +02:00
Miodrag Milanović
4502738d36
Merge pull request #6274 from YosysHQ/mmicko/sn_python
...
CI: fix building wheels
2026-10-01 17:03:20 +00:00
Emil J
2750a02e0c
Merge pull request #6264 from YosysHQ/emil/read_verilog-array-signedness
...
read_verilog: fix sign extension in array pattern assignments
2026-10-01 13:56:38 +00:00
Miodrag Milanovic
1dbfb04874
cmake: sort out dependencies
2026-10-01 14:52:14 +02:00
Mohamed Gaber
1ded625f0f
wheels: fix cmake argument passing
...
- use CIBW_CONFIG_SETTINGS to pass cmake options
- disable homebrew for wheel build - bison is set explicitly
- update cmake option parsing to use shlex so multiple arguments can be provided
- use common CIBW environment (MACOSX_DEPLOYMENT_TARGET has no effect on linux)
2026-10-01 13:32:09 +02:00
Miodrag Milanovic
c3180e95d0
cmake: fix installing sn when building wheels
2026-10-01 12:19:05 +02:00
nella
53f1cdd34c
Merge pull request #6256 from YosysHQ/nella/shiftadd-bsigned
...
peepopt shiftadd: check shift B signedness [sc-941]
2026-09-30 16:38:34 +00:00
nella
a74edc9be8
Check shift B signedness in shiftadd.
2026-09-30 18:15:40 +02:00
Emil J
5b4a2edb8a
Merge pull request #6265 from SimonEbner/fix-run-command-eintr
...
handle EINTR and signal termination in run_command
2026-09-30 16:10:35 +00:00
Miodrag Milanović
c09944d8ee
Merge pull request #6266 from YosysHQ/mmicko/update_abc
...
Update ABC as per 2026-09-30
2026-09-30 15:50:54 +00:00
Miodrag Milanovic
a1809aeba3
Update ABC as per 2026-09-30
2026-09-30 16:39:33 +02:00
Emil J
cd7af6bcb6
Merge pull request #6263 from YosysHQ/emil/abc_new-unmapped-error-handling
...
abc_new: improve error handling of &get
2026-09-30 14:11:56 +00:00
nella
8ce92653e4
Merge pull request #6238 from YosysHQ/nella/shiftadd-signed-a
...
Materialize A sign extension in shiftadd [sc-924]
2026-09-30 13:40:11 +00:00
Emil J. Tywoniak
c783ccfdd6
read_verilog: fix sign extension in array pattern assignments
2026-09-30 12:59:01 +02:00
Emil J
4ca90baf18
Merge pull request #6260 from YosysHQ/emil/proc_dlatch-feedback-loop
...
proc_dlatch: error on logic loop in mux tree
2026-09-30 10:36:26 +00:00
Emil J. Tywoniak
a51ed0614c
abc_new: add test for &get error handling
2026-09-30 12:19:21 +02:00
Emil J. Tywoniak
49f45cf21f
abc_new: error handling when sketchy scripts are used
2026-09-30 12:19:21 +02:00
Emil J. Tywoniak
4c391fdf5b
read_xaiger: skip symbol table instead of crashing since its handling was removed
2026-09-30 11:43:00 +02:00
Simon Bucher
aa6108d70f
kernel: handle EINTR and signal termination in run_command
...
When `run_command` reads subprocess output via `fgets` in a multi-threaded process, incoming signals can interrupt the underlying `read` syscall with `EINTR`. Previously, `while (fgets(...) != NULL)` exited the read loop immediately on `EINTR` and called `pclose`, closing the pipe early while the child was still running (or causing the child to die with `SIGPIPE`). Additionally, `run_command` returned `WEXITSTATUS(ret)` without checking `WIFEXITED(ret)`, which evaluates to `0` when a child terminates due to an unhandled signal.
Retry `fgets` after clearing the stream error state when `ferror(f) && errno == EINTR`, and return `-1` if `!WIFEXITED(ret)`.
2026-09-30 07:30:59 +00:00
Miodrag Milanović
a1a0ad7d45
Merge pull request #6257 from YosysHQ/mmicko/sv-elab
...
Update sv-elab and slang to v12.0
2026-09-29 16:47:37 +00:00
Miodrag Milanovic
ef887f64f6
Update sv-elab and slang to v12.0
2026-09-29 18:09:25 +02:00