luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-09-05 19:36:55 +02:00
Code Issues Packages Projects Releases Wiki Activity
17,744 Commits 155 Branches 70 Tags
itsaflower-patch-2
Commit Graph
1775 Commits
Author SHA1 Message Date
Zane Hambly bec454465f Merge branch 'main' into check-cells-backends 2026-08-20 21:42:56 +12:00
Lofty 621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10 
read_xaiger2: remove
 2026-08-17 17:42:25 +00:00
Catherine 81b04d3029 Merge pull request #6119 from Wren6991/fix-cxxrtl-looprotate 
CXXRTL: workaround LLVM regression in LoopRotatePass (fixes #4419)
 2026-08-14 15:05:07 +00:00
Luke Wren 2b96cc5d38 CXXRTL: workaround LLVM regression in LoopRotatePass (fixes #4419) 
Problem: LoopRotatePass applies a transformation to each loop which
has O(function size) cost due to invalidating some bookkeeping. CXXRTL
output is one huge function with thousands of loops. Most of these loops
are 1-trip but that doesn't help because loop elimination is after loop
rotation.

Fix is to add an `if` (with constexpr condition) for the common 1-word
case, to cause the loop to be DCE'd long before LoopRotatePass. This
does not seem to affect performance (at -O2) but reduces compile time
for Hazard by around 7.5x. Do this for the worst offenders: trunc, zext,
sext, rtrunc, rzext, which are used everywhere in slice and concat.

Arguably an upstream LLVM bug but it has been present since v18 at
least, so affects a lot of users.
 2026-08-14 14:25:30 +01:00
ZaneHam b7b8ea9784 smt2, btor: error on $check cells instead of dropping them 
Both backends only looked for $assert/$assume/$cover, so a $check cell was
never visited and the resulting formal output carried no proof obligations at
all. write_smv already errors via its catch-all; this follows its message.
 2026-08-14 00:15:34 +12:00
Emil J. Tywoniak 0253911ee2 opt_clean: move unused_bits analysis to kernel/unused_bits.h 2026-08-12 11:42:50 +02:00
Lofty 1dce7895e0 read_xaiger2: remove 2026-08-11 08:56:55 +01: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
Loftyandnella 7c7bc0c617 write_xaiger2: don't skip adding POs to map file 
Co-authored-by: nella <[email protected]>
 2026-08-05 11:48:31 +01: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
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
Lofty 6d9f5d1b0c wip 2026-08-03 12:34:01 +01:00
Miodrag Milanovic 2cb3d671d6 yosys-witness: give error on justice property, support only 'b' 2026-07-07 12:19:38 +02:00
N. Engelhardt b2fccbb52f handle $bewqx in btor backend 2026-06-23 08:57:09 +02:00
Miodrag Milanovic a689342207 Remove trailing whitespaces 2026-06-23 07:24:59 +02:00
Miodrag Milanovic 48a3dcc02a End of file fix 2026-06-23 07:23:41 +02:00
KrystalDelusion e20a9168fb Merge pull request #5971 from YosysHQ/krys/upto_indexing 
write_verilog: Fix upto indexing for single bit
 2026-06-22 23:04:16 +00:00
Miodrag Milanovic ebcbc06951 smtbmc: support latest bitwuzla 2026-06-22 08:40:16 +02:00
Krystine Sherwin 338d4adef2 write_verilog: Fix upto indexing for single bit 2026-06-19 10:18:27 +12:00
nella 5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402 
Fix: `read_verilog` doesn't respect `signed` keyword
 2026-06-18 16:53:37 +00:00
N. Engelhardt 06201b857e Merge pull request #5892 from gipsyh/smt2 
smt2: use canonical SMT names in memory metadata
 2026-06-09 12:49:11 +00:00
Miodrag Milanović 78e05dfb00 Merge pull request #5894 from YosysHQ/gcc_16 
Bump CI to gcc-16 and fix warnings
 2026-06-03 12:07:45 +00:00
Emil J 136d80e3d7 Merge pull request #5918 from mikesinouye/keywords 
verilog backend: runtime optimization for keyword pool
 2026-06-03 11:26:20 +00:00
Miodrag Milanovic a599999d1f Fixed warnings found by gcc-16 2026-06-03 13:09:38 +02:00
Catherine a727e7f6e7 Migrate build system to CMake 
See #5895 for details.

This commit does not include CI or documentation changes.
 2026-06-03 08:58:10 +00:00
Mike Inouye a14650d07b verilog backend: runtime optimization for keyword pool 
Signed-off-by: Mike Inouye <[email protected]>
 2026-05-29 17:53:31 +00:00
Yuheng Su caba96515e smt2: use canonical SMT names in memory metadata 2026-05-17 02:27:55 +00:00
Miodrag Milanovic 75dcbe03c6 Convert RTLIL::unescape_id of IdString to unescape() 2026-05-16 19:49:45 +02:00
Miodrag Milanovic 8bbc3c359c Remove id2cstr uses in our code base 2026-05-16 19:49:45 +02:00
Miodrag Milanovic e4a3b44e8e Fixed not intentional log_signal removal 2026-05-15 12:34:54 +02:00
nella 38c2806636 Make sure to apply correct signedness to loop vars. 2026-05-13 16:52:07 +02:00
Codexplorer e41b969da2 Refactored uses of log_id() 2026-05-08 20:59:24 -07:00
Lofty ed5d122174 Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4 
read/write_xaiger2: further cleanup [sc-269]
 2026-04-21 12:13:42 +00:00
Lofty f09afcf581 write_xaiger2: further cleanup 2026-04-08 11:08:44 +01:00
Emil J b485173428 Merge pull request #5792 from YosysHQ/emil/toposort-stability 
toposort: avoid run to run variance caused by pointer sensitivity
 2026-04-08 08:51:47 +00:00
Emil J. Tywoniak cd49dc7be8 cxxrtl: stable TopoSort 2026-04-06 15:09:52 +02:00
Lofty b55fd6718b write_xaiger2: fix indentation 2026-04-02 10:47:08 +01:00
Lofty 568a31c83a write_xaiger2: fix function argument evaluation order 2026-03-31 10:40:58 +01:00
Catherine 18d94fe9a4 Merge pull request #5740 from kivikakk/push-utvloulmsuqy 
cxxrtl: Suppress another un/signed comparison warning!
 2026-03-11 10:27:27 +00:00
Asherah Connor 5c74446e57 cxxrtl: Suppress another un/signed comparison warning! 2026-03-11 20:50:09 +11:00
Asherah Connor c5c104f560 cxxrtl: Suppress un/signed comparison warning; this is positive 2026-03-11 18:35:48 +11:00
nella 16b1a914f1 Aiger use defines for known ops. 2026-03-04 12:39:45 +01:00
nella cae54a4c7b Aiger use newcelltypes. 2026-03-04 12:39:45 +01:00
Emil J. Tywoniak 7a5c303ccd backends: use newcelltypes 2026-03-04 12:22:14 +01:00
Emil J. Tywoniak 665b6eeb4a aiger2: add TODO 2026-03-04 12:22:14 +01:00