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

17487 Commits

Author SHA1 Message Date
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
nella d52670e58b Replace suitable (2^k-1)-x with ~x. 2026-06-10 11:29:55 +02:00
Miodrag Milanović 8eb3133076
Merge pull request #5950 from YosysHQ/version_fix 
Fix version number and git origin
 2026-06-09 16:49:28 +00:00
Miodrag Milanović 7b40b7a6f0
Merge pull request #5949 from YosysHQ/update_abc 
MSVC full build
 2026-06-09 16:28:00 +00:00
Miodrag Milanovic 160a4e5dfc For release branch always keep distance zero 2026-06-09 18:20:17 +02:00
Miodrag Milanovic 7d40a0b667 Fix version number and git origin 2026-06-09 17:39:48 +02:00
Miodrag Milanović a9446d7389
Merge pull request #5948 from YosysHQ/tcl9_verific 
verific: do not link TCL command line interface
 2026-06-09 13:30:14 +00:00
Miodrag Milanovic dc7c7bd825 verific: do not link TCL command line interface 2026-06-09 14:53:53 +02: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 Milanovic 54a61650d0 Install DLL 2026-06-08 17:30:31 +02:00
Miodrag Milanovic da50b0d2dd Try enablind ABC build for MSVC 2026-06-08 16:55:11 +02:00
Miodrag Milanovic 4763e14852 Update ABC for MSVC compile 2026-06-08 16:23:18 +02:00
Lofty c96d7bc998
Merge pull request #5943 from YosysHQ/lofty/abc9-refactor-6 
move `abc9_ops -reintegrate` into its own pass
 2026-06-08 12:57:08 +00:00