3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-08 07:03:11 +00:00
Commit graph

17644 commits

Author SHA1 Message Date
Miodrag Milanovic
721f1a3cc0 WIP 2026-08-07 10:10:59 +02:00
Catherine
17d51a3307
Merge pull request #6093 from YosysHQ/cat/missing-deps
CMake: add missing dependency edges for `synth_*` passes
2026-08-06 15:25:13 +00:00
Catherine
1277640bdf CMake: add missing dependency edges for synth_* passes. 2026-08-06 14:48:56 +00:00
Miodrag Milanović
25b06f428e
Merge pull request #6087 from YosysHQ/cat/windows-utf8
Accept UTF-8 filenames and terminal I/O on Windows.
2026-08-06 12:28:04 +00:00
Catherine
9020fc2ffe Accept UTF-8 filenames and terminal I/O on Windows. 2026-08-06 12:06:07 +00:00
nella
f21b2d2ee8
Merge pull request #6092 from YosysHQ/nella/opt-balance-detect-cycles
opt_balance_tree: don't hang on combinational loops [sc-734]
2026-08-06 09:25:17 +00:00
nella
e20909bb3b Collect chains via TopoSort. 2026-08-06 11:10:12 +02:00
nella
c5d47334f4 Use toposort. 2026-08-06 10:51:49 +02:00
nella
7bbb69872c Add regression tests. 2026-08-06 09:14:44 +02:00
nella
3c536a06b7 Detect graph cycles and skip them. 2026-08-06 09:14:37 +02:00
Emil J
72ce1b63d7
Merge pull request #6090 from YosysHQ/emil/hierarchy-fix-keep-cache-again
hierarchy: fix keep cache usage by caching false too 2
2026-08-05 21:54:55 +00:00
Emil J. Tywoniak
253388a87f hierarchy: fix cache usage by caching false too 2 2026-08-05 23:32:37 +02:00
Catherine
c2071b80ed
Merge pull request #6088 from YosysHQ/revert-slop
Revert slop being committed in `main`
2026-08-05 20:36:45 +00:00
Catherine
f26ef15b2a Revert "hierarchy: regression test for keep cache"
This reverts commit a27378cff8.
2026-08-05 16:52:59 +00:00
Catherine
b89dc992e5 Revert "hierarchy: fix cache usage by caching false too"
This reverts commit ae14b5e6a8.
2026-08-05 16:52:14 +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