Commit Graph

17297 Commits

Author SHA1 Message Date
Miodrag Milanovic 3af45e7d04 Some more explanations 2026-06-16 10:31:37 +02:00
Miodrag Milanovic 782f9ddd24 Added functional tests option 2026-06-15 16:04:37 +02:00
Miodrag Milanovic 247bcfed65 Remove old Makefile and fix documentation 2026-06-15 15:25:58 +02:00
Miodrag Milanovic 2bab5d3fa5 Add VERBOSE (and V) option to Makefiles 2026-06-15 14:48:11 +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
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
Miodrag Milanović b4c7a9b40a
Merge pull request #5944 from YosysHQ/update_abc
Update ABC as per 2026-06-08
2026-06-08 12:21:27 +00:00
nella c47ed4bc31 Fix help. 2026-06-08 13:47:56 +02:00
nella 666bd53f06 Cleanup tests. 2026-06-08 13:47:56 +02:00
nella 3c6900a570 Depth-schedule finar adder. 2026-06-08 13:47:56 +02:00
nella f8d2252735 Use ripple as default final adder, gate fma. 2026-06-08 13:47:56 +02:00
nella 11a650c695 Fix depth bug. 2026-06-08 13:47:56 +02:00
nella a1d841bf64 Rebase + Cmake. 2026-06-08 13:47:56 +02:00
nella d40431f249 Remove black boxes for now. 2026-06-08 13:29:05 +02:00
nella 5e4e5a1d40 Arith tree - parallel prefix. 2026-06-08 13:29:05 +02:00
nella 862e9fc54e Remove elarith-fast for now. 2026-06-08 13:29:05 +02:00
nella 25eb394ad0 Collapse signed*signed or combined nodes via BW. 2026-06-08 13:29:05 +02:00
nella 6c13ec0efb Test. 2026-06-08 13:29:05 +02:00
nella bc07c6b1b0 Improve arith_tree: FMA add, elarith WIP. 2026-06-08 13:29:05 +02:00
Miodrag Milanovic 097b90670d Update ABC as per 2026-06-08 2026-06-08 12:56:38 +02:00
Lofty 0e32ad7eed move abc9_ops -reintegrate into its own pass 2026-06-08 11:03:17 +01:00
Lofty 73c217133b
Merge pull request #5934 from YosysHQ/lofty/abc9-refactor-5
read_aiger: import standard-cell mappings from ABC
2026-06-08 09:38:34 +00:00
KrystalDelusion 948c3d6394
Merge pull request #5936 from YosysHQ/krys/parallel_make
Let nested make calls parallelize
2026-06-07 22:00:57 +00:00
Krystine Sherwin 5183ede97f
CMake: Disable cxx module scanning 2026-06-08 09:34:30 +12:00
Krystine Sherwin d9c3aeb765
Docs: Bump CMake to >=3.28 2026-06-06 11:33:46 +12:00
KrystalDelusion 90ec02ca2f
Let nested make calls parallelize
Bump minimum cmake version to 3.28 to use `JOB_SERVER_AWARE` when calling the `test-vanilla` target (and also `docs-prepare` and `test-docs`, though it's not as important there).
2026-06-06 10:22:38 +12:00
Catherine cc9692caab
Merge pull request #5935 from YosysHQ/cat/cmake-macos
CMake: improve macOS Homebrew compatibility
2026-06-05 18:28:22 +00:00
Catherine 39ecd0d93f CMake: specify Flex and Bison version requirements.
macOS ships Bison 2.6, which is too old for Yosys.
2026-06-05 17:59:23 +00:00
Catherine d50dc9a461 CMake: add all Homebrew packages to root search path.
Homebrew doesn't provide a merged (FHS) prefix and tools installed from
it cannot be expected to appear on PATH. Furthermore, XCode provides
some tools and headers (Flex, Bison) which must not be used if
a Homebrew alternative is installed.
2026-06-05 17:58:29 +00:00
Catherine c9e3ae8c9a CMake: improve and vendor upstream `FindBISON` module.
This change uses the `find_program(VALIDATOR)` functionality available
since CMake 3.25 to find the acceptable Bison executable instead of
failing if the first one found is too old. (macOS ships with Bison 2.6.)

This change also explicitly finds a usable M4 and ensures the Bison
command will use it. (macOS ships with an m4 which can fail if XCode
Tools aren't installed.)
2026-06-05 17:40:25 +00:00
Miodrag Milanović 017c99be5b
Merge pull request #5933 from YosysHQ/cleanups
Various cleanups
2026-06-05 10:25:19 +00:00