luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
17,499 Commits 135 Branches 69 Tags 48 MiB
Commit Graph

17499 Commits

Author SHA1 Message Date
Miodrag Milanovic ebcbc06951 smtbmc: support latest bitwuzla 2026-06-22 08:40:16 +02:00
Amelia Dobis 41566a6b70
more typo found 2026-06-19 17:47:39 -04:00
Amelia Dobis 54d43d85e3
[docs] nit: usign the right acronym to refer to the right thing 
Tiny nit, but the description of `RTLIL::Wire` was using MSB and LSB to refer to the least and most significant *bits* of a wire and not Bytes, which should be referred to using LSb and MSb instead
 2026-06-19 17:30:28 -04:00
Lofty 091d2a7814 Move rename logic to abc_ops_reintegrate 2026-06-19 10:46:47 +01:00
Krystine Sherwin b77bb851ed
tests: Add mixed_upto write_verilog test 2026-06-19 11:20:01 +12: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
nella 2195277b5a
Merge pull request #5960 from YosysHQ/nella/latch-infer 
proc_dlatch - infer $adlatch (Fix #5910).
 2026-06-18 16:50:48 +00:00
nella c99a037c33
Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745 
Fix  `chparam` values are unsigned when using read_verilog frontend
 2026-06-18 16:50:22 +00:00
nella b3b1394cf1 Fixup level policy. 2026-06-18 18:00:51 +02:00
nella 32a268d745 Emit errors before dfflegalize. 2026-06-18 17:07:24 +02:00
Miodrag Milanović c9805ceb33
Merge pull request #5966 from maliberty/lz4-1.10.0-cve 
Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543
 2026-06-18 11:32:12 +00:00
nella 46cbeab720 Add effort limit. 2026-06-18 11:58:01 +02:00
nella 75a30a22d6 Cleanup bitsim, document hypo. 2026-06-18 11:43:13 +02:00
nella 25810193ab Reuse sat/hashlib. 2026-06-18 10:57:20 +02:00
Matt Liberty 7fbeb344a4 Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543 
Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
 2026-06-18 07:00:59 +00:00
Miodrag Milanović 72f6df873a
Merge pull request #5964 from YosysHQ/mingw_fix 
Fix share lookup for mingw builds
 2026-06-17 18:32:02 +00:00
nella b2d688dbf9 Error out on latches. 2026-06-17 17:36:32 +02:00
nella 1023361d6c Fix docs test. 2026-06-17 12:02:05 +02:00
nella c814ef35e3 Emit latch warning. 2026-06-17 11:27:43 +02:00
Miodrag Milanovic 88d4af94cf Fix share lookup for mingw builds 2026-06-17 10:40:13 +02:00
Miodrag Milanović e2903c4a5c
Merge pull request #5959 from YosysHQ/improve_test 
Improve test
 2026-06-16 08:46:11 +00:00
Miodrag Milanović 211fa48ce5
Merge pull request #5962 from YosysHQ/update_abc 
Update ABC as per 2026-06-15
 2026-06-16 08:39:41 +00:00
Miodrag Milanovic 3af45e7d04 Some more explanations 2026-06-16 10:31:37 +02:00
Miodrag Milanovic 0584587f9a Make compilation like by abc scripts 2026-06-16 10:07:45 +02:00
Miodrag Milanovic 83ee00d312 Update ABC as per 2026-06-15 2026-06-15 19:42:17 +02:00
Emil J f33cc39a0c
Merge pull request #5958 from YosysHQ/emil/opt_muxtree-single-driver 
opt_muxtree: error on multiple drivers
 2026-06-15 15:00:48 +00:00
nella c0709b1b4e Fixup issue test. 2026-06-15 16:23:44 +02:00
Miodrag Milanovic 782f9ddd24 Added functional tests option 2026-06-15 16:04:37 +02:00
nella eb4703808a Add tests. 2026-06-15 15:46:13 +02:00
nella a5bdb29d7f Recognise asynchronous set/reset. 2026-06-15 15:44:50 +02:00
nella a46bc77eeb Fix nolatch test. 2026-06-15 15:27:58 +02:00
Miodrag Milanovic 247bcfed65 Remove old Makefile and fix documentation 2026-06-15 15:25:58 +02:00
nella 01e2698247 Add latch check step. 2026-06-15 15:09:23 +02:00
Emil J. Tywoniak 48c1e1a724 tests: remove hana test with multiple drivers 2026-06-15 15:08:26 +02:00
Emil J. Tywoniak 6032b064e2 opt_muxtree: optimize for single driver, error on multiple drivers 2026-06-15 15:08:26 +02:00
Miodrag Milanovic 2bab5d3fa5 Add VERBOSE (and V) option to Makefiles 2026-06-15 14:48:11 +02:00
nella 7473fcf939 Add latch inference msg severity option. 2026-06-15 14:17:02 +02:00
Miodrag Milanovic 90ead9bbc2 force Ninja to display Makefile output for tests 2026-06-15 13:41:47 +02:00
KrystalDelusion 8869ce61dc
Merge pull request #5955 from YosysHQ/krys/mod_name 
simplify.cc: Fix crash when identifier matches module
 2026-06-14 21:29:12 +00:00
nella 05805e8b93
Merge pull request #5900 from YosysHQ/nella/arith_tree_improvements 
arith_tree improvements
 2026-06-12 14:23:10 +00:00
Miodrag Milanović a423226ec9
Merge pull request #5956 from YosysHQ/log_compat 
Add one more  compatibility logger used in patches for some time
 2026-06-12 13:13:54 +00:00
nella 80011b16b2 Add constant note. 2026-06-12 14:57:53 +02:00
nella 309b7d2496 Verify kogge stone impl. 2026-06-12 14:55:47 +02:00
Miodrag Milanovic ec6266a328 Add one more compatibility logger used in patches for some time 2026-06-12 14:44:26 +02:00
Krystine Sherwin b79c7c008d
simplify.cc: Fix crash when identifier matches module 
Also update one of the AST debug prints that is guarded by an `#if 0` but was out of date.
 2026-06-12 11:54:53 +12:00
nella 135c2a4113 Get rid of normalize_to_width. 2026-06-11 01:12:35 +02:00
nella c44d24d9fd Add missing -assert to equiv_opt calls. 2026-06-11 01:08:36 +02:00
nella 83a8245734 Add muxcover regression test. 2026-06-10 14:46:04 +02:00
nella 601cd7ba5f Add tests. 2026-06-10 11:30:03 +02:00