mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-14 09:55:37 +00:00
Code Activity
17655 commits 143 branches 70 tags 52 MiB
Commit graph

17655 commits

This branch
This branch
All branches
Author SHA1 Message Date
Miodrag Milanovic
f41b48a13c log: convert some messages to log_comment 2026-08-12 12:48:48 +02:00
Miodrag Milanovic
67082000ad log: Add log severity and message callback 2026-08-12 12:48:26 +02:00
Lofty
fd6367405e
Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8 
abc_ops_reintegrate: xaiger2 compatibility
 2026-08-10 13:14:40 +00:00
Lofty
d1357f171f fix handling of multiple modules 
Co-authored-by: nella <nella@yosyshq.com>
 2026-08-10 10:17:31 +01:00
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
Lofty
7c7bc0c617 write_xaiger2: don't skip adding POs to map file 
Co-authored-by: nella <nella@yosyshq.com>
 2026-08-05 11:48:31 +01: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