Catherine
c99879e1ee
Make proc_self_dirname() work for non-ASCII paths to the binary.
...
This is achieved by using wide character functions to get the actual
path (there is no workaround here that will do the job) and then
changing the current directory so that no other part of Yosys has to
care about Unicode.
This works because Yosys doesn't try to use absolute paths and does
not change the current directory anywhere else.
2026-08-05 13:45:18 +00:00
nella
1410a14345
Merge pull request #6030 from YosysHQ/nella/eqbits-perf-enhancements
...
opt_dff: add SAT effort limits
2026-08-05 11:15:00 +00:00
nella
f2cf07584d
Improve test coverage.
2026-08-05 12:57:56 +02:00
nella
fae99416d4
Only init modwalker once.
2026-08-05 12:57:56 +02:00
nella
eff7e1f360
Budget SAT effort via shared SatEffortBudget.
2026-08-05 12:57:56 +02:00
nella
9ae214932e
Add reusable SatEffortBudget helper to qcsat.
2026-08-05 12:57:56 +02:00
nella
8d712e6b79
Add SAT effort test.
2026-08-05 12:57:56 +02:00
nella
15d50d4fcf
Add help message + cleanup.
2026-08-05 12:57:56 +02:00
nella
2ee7dc5a1d
Implement constbit gather.
2026-08-05 12:57:56 +02:00
nella
c57f66cee7
eqbits drop_all.
2026-08-05 12:57:56 +02:00
nella
a9159ad435
Test solve_budgeted.
2026-08-05 12:57:56 +02:00
nella
118a0b3872
ezsat add propagation budget api.
2026-08-05 12:57:56 +02:00
Emil J
7a2bd64c93
Merge pull request #6080 from YosysHQ/emil/hashlib-noexcept
...
hashlib: noexcept moves for performance
2026-08-05 07:33:15 +00:00
Miodrag Milanović
a5af9d690a
Merge pull request #6083 from YosysHQ/release/v0.68
...
Release version 0.68
2026-08-05 06:33:26 +00:00
Miodrag Milanovic
b7646c76a0
Next dev cycle
2026-08-05 08:09:15 +02:00
Miodrag Milanovic
38e001a6ff
Release version 0.68
2026-08-05 07:42:20 +02:00
Miodrag Milanovic
ebf286ab40
Code cleanup
2026-08-04 17:18:22 +02:00
nella
d5f1795249
Merge pull request #6055 from qbojj/xilinx-transparent-memory
...
transparent memory verilog pattern
2026-08-04 15:14:57 +00:00
Emil J. Tywoniak
bfb65f9e21
hashlib: noexcept moves for performance
2026-08-04 11:02:37 +02:00
Janeczko Jakub
d840a852a9
Fix typo in comment about address collision pattern
2026-08-04 06:44:05 +02:00
Jakub Janeczko
0b0f5cbf26
remove generic path width
2026-08-04 06:44:05 +02:00
Jakub Janeczko
533899ca7e
format
2026-08-04 06:44:05 +02:00
Jakub Janeczko
a95d626691
cleaner assign with transparency
2026-08-04 06:44:05 +02:00
Jakub Janeczko
2047506440
bypass part width is 1
2026-08-04 06:44:05 +02:00
Jakub Janeczko
cf40dfabf5
new transparent memory verilog pattern
2026-08-04 06:44:05 +02:00
Emil J
468ba27d91
Merge pull request #6078 from YosysHQ/emil/hierarchy-fix-keep-cache
...
hierarchy: fix keep cache usage by caching false too
2026-08-03 15:54:50 +00:00
Emil J. Tywoniak
a27378cff8
hierarchy: regression test for keep cache
2026-08-03 17:36:49 +02:00
Miodrag Milanović
0955fcadab
Merge pull request #5983 from YosysHQ/nak/write_btor_bweqx
...
handle $bweqx in btor backend
2026-08-03 14:34:39 +00:00
Emil J. Tywoniak
ae14b5e6a8
hierarchy: fix cache usage by caching false too
2026-08-03 14:55:03 +02:00
Emil J
29c136b5b5
Merge pull request #5883 from YosysHQ/emil/muxpack-fix-chain
...
muxpack: fix chaining
2026-08-03 11:27:59 +00:00
nella
abe32c86a0
Merge 'origin/main' into emil/muxpack-fix-chain.
2026-08-03 11:50:21 +02:00
Catherine
41a4b5a039
Merge pull request #6074 from YosysHQ/mmicko/fmt_update
...
Updated vendored fmt to 12.2.1
2026-08-01 11:47:36 +00:00
Miodrag Milanovic
bb1c83b86e
Updated vendored fmt to 12.2.1
2026-08-01 13:25:27 +02:00
nella
ac59103097
Merge pull request #6045 from YosysHQ/emil/constparse-fix-error-crash
...
const2ast: handle constant parsing from the command-line again
2026-07-31 09:00:50 +00:00
nella
4baff94575
Add nesting test.
2026-07-31 10:31:44 +02:00
nella
250a467518
Attr file:line.
2026-07-31 10:31:44 +02:00
nella
2b5755178f
Clean up diagnostics.
2026-07-31 10:31:44 +02:00
Emil J. Tywoniak
dfa887637a
const2ast: handle constant parsing from the command-line again
2026-07-31 10:31:44 +02:00
Krystine Dawn Sherwin
6c4d54a984
Merge pull request #6064 from YosysHQ/krys/alumacc_widths
...
Fix merging comparisons with oversized unsigned subtraction in `alumacc`
2026-07-31 06:03:08 +00:00
Krystine Sherwin
bafaa2e95c
tests/alumacc: Use assert-max
2026-07-31 16:59:58 +12:00
Krystine Sherwin
9edae972af
tests/alumacc: Add broad merge test
...
Mixes input cells, signedness, input width, output width.
Within the things that are `random.choice`, they *should* always be equivalent, but add a seed arg anyway just in case one day they're not.
2026-07-31 16:59:58 +12:00
Krystine Sherwin
2f8cf84882
alumacc: cmp_mergeable function
...
Replace all the existing mergeable checks with a call to a single function.
Fix remaining discrepencies (undersized output and mismatched signed inputs).
2026-07-31 16:59:57 +12:00
Krystine Sherwin
fb560a560f
tests/alumacc: Minor optimizations
2026-07-31 16:59:57 +12:00
Krystine Sherwin
1b9caf4f2c
tests/alumacc: Move opt/temp/alumacc
...
Because apparently there's a whole `tests/alumacc` folder.
2026-07-31 16:59:57 +12:00
Krystine Sherwin
bb49b0be32
alumacc: Fix get_lt for oversized output
...
Current behavior uses the output width to determine the MSb(s), however this is not correct if the output is larger than the inputs (which doesn't happen when creating an `$alu` for a compare op, but does when folding a compare op into an arithmetic `$alu`).
Co-authored-by: Lofty <dan.ravensloft@gmail.com>
2026-07-31 16:59:56 +12:00
Krystine Sherwin
b49f321923
tests/opt: Add extra alumacc test
...
Checks equivalence when folding an `$lt` (or equivalently a `$gt`) into a `$sub`.
Currently failing, fix incoming.
2026-07-31 16:59:56 +12:00
Miodrag Milanović
9bc23d383f
Merge pull request #6070 from YosysHQ/update_abc
...
Update ABC as per 2026-07-30
2026-07-30 17:05:48 +00:00
Miodrag Milanović
5c15b0b5a1
Merge pull request #6071 from YosysHQ/mmicko/test_disable
...
nexus: disable dsp test, takes very long
2026-07-30 16:34:15 +00:00
Miodrag Milanovic
130e39b06d
nexus: disable dsp test, takes very long
2026-07-30 17:46:25 +02:00
Emil J
c03bbc3309
Merge pull request #6069 from YosysHQ/emil/liberty-flop-fix-polarity
...
read_liberty: fix set&reset polarity
2026-07-30 15:34:24 +00:00
