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
Lofty
2a4525efbb
read_aiger: import standard-cell mappings from ABC
2026-06-05 11:02:58 +01:00
Miodrag Milanovic
0e137c462e
Removed docker related file
2026-06-05 10:27:30 +02:00
