luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
17,647 Commits 137 Branches 70 Tags 65 MiB
Commit Graph

17647 Commits

Author SHA1 Message Date
nella 0f2bcb94b7
Merge pull request #6096 from YosysHQ/nella/opt-muxtree-fix-self-conflict 
opt_muxtree: fix OOB read on self-conflicting mux Y port
 2026-08-07 12:47:38 +00:00
nella 9c144d59aa Fix OOB read. 2026-08-07 14:29:14 +02:00
Miodrag Milanović 95aaed113a
Merge pull request #6095 from YosysHQ/micko/verific_std 
verific: Added sv2023 support, and cleanup
 2026-08-07 07:47:38 +00:00
Miodrag Milanovic 92bdbafe82 verific: Added sv2023 support, and cleanup 2026-08-07 08:41:55 +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