aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-48/+39
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | submod to bitty rather bussy, for bussy wires used as input and outputEddie Hung2019-11-221-48/+39
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-2/+10
|\| | | | |
| * | | | | Constant driven signals are also an input to submodulesEddie Hung2019-11-221-2/+10
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-1/+0
|\| | | | |
| * | | | | OopsEddie Hung2019-11-221-1/+0
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-221-8/+9
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Only action if there is more than one clock domainEddie Hung2019-11-221-7/+8
| | | | | |
| * | | | | Replace TODOEddie Hung2019-11-221-1/+1
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-1/+19
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | sigmap(wire) should inherit port_output status of POsEddie Hung2019-11-221-1/+19
| | |/ / / | |/| | |
* | | | | Merge branch 'eddie/clkpart' into xaig_dffEddie Hung2019-11-222-1/+2
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | BracketsEddie Hung2019-11-221-1/+1
| | | | |
| * | | | Entry in Makefile.incEddie Hung2019-11-221-0/+1
| | | | |
* | | | | Merge branch 'eddie/clkpart' into xaig_dffEddie Hung2019-11-225-4/+430
|\| | | |
| * | | | New 'clkpart' to {,un}partition design according to clock/enableEddie Hung2019-11-221-0/+268
| |/ / /
| * | | Add "opt_mem" passClifford Wolf2019-11-223-0/+146
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | proc_dlatch: Add error handling for incorrect always_(ff|latch|comb) usageDavid Shah2019-11-211-4/+16
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | When expanding upwards, do not capture $__ABC9_{FF,ASYNC}_Eddie Hung2019-11-211-1/+1
| | | | | | | | | | | | | | | | Since they should be captured downwards from the owning flop
* | | | endomain -> ctrldomainEddie Hung2019-11-201-3/+3
| | | |
* | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-11-1914-182/+449
|\| | |
| * | | Fix #1462, #1480.Marcin Kościelnicki2019-11-192-9/+11
| |/ /
| * | Fix #1496.Marcin Kościelnicki2019-11-181-4/+8
| | |
| * | Merge pull request #1492 from YosysHQ/dave/wreduce-fix-arstClifford Wolf2019-11-171-4/+10
| |\ \ | | | | | | | | wreduce: Don't trim zeros or sext when not matching ARST_VALUE
| | * | wreduce: Don't trim zeros or sext when not matching ARST_VALUEDavid Shah2019-11-141-4/+10
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | Merge pull request #1490 from YosysHQ/clifford/autonameClifford Wolf2019-11-142-0/+135
| |\ \ \ | | |/ / | |/| | Add "autoname" pass and use it in "synth_ice40"
| | * | Add "autoname" pass and use it in "synth_ice40"Clifford Wolf2019-11-132-0/+135
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #1488 from whitequark/flowmap-fixeswhitequark2019-11-131-2/+3
| |\ \ \ | | |/ / | |/| | flowmap: fix a few crashes
| | * | flowmap: when doing mincut, ensure source is always in X, not X̅.whitequark2019-11-121-1/+2
| | | | | | | | | | | | | | | | Fixes #1475.
| | * | flowmap: don't break if that creates a k+2 (and larger) LUT either.whitequark2019-11-111-1/+1
| | | | | | | | | | | | | | | | Fixes #1405.
| * | | Update fsm_detect bugfixClifford Wolf2019-11-121-3/+4
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Bugfix in fsm_detectClifford Wolf2019-11-121-6/+9
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Makefile: don't assume python is called `python3`Sean Cross2019-10-191-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | On some architectures, notably on Windows, the official name for the Python binary from python.org is `python`. The build system assumes that python is called `python3`, which breaks under this architecture. There is already infrastructure in place to determine the name of the Python binary when building PYOSYS. Since Python is now always required to build Yosys, enable this check universally which sets the `PYTHON_EXECUTABLE` variable. Then, reuse this variable in other Makefiles as necessary, rather than hardcoding `python3` everywhere. Signed-off-by: Sean Cross <sean@xobs.io>
| * | Fix dffmux peepopt init handlingClifford Wolf2019-10-162-27/+113
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Move GENERATE_PATTERN macro to separate utility headerClifford Wolf2019-10-163-128/+157
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Disable left-over log_debug in peepopt_dffmux.pmgClifford Wolf2019-10-161-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-088-120/+458
|\| |
| * | Revert "Be mindful that sigmap(wire) could have dupes when checking \init"Eddie Hung2019-10-081-4/+1
| | | | | | | | | | | | This reverts commit f46ac1df9f8847dac9d9851f2f948d93a1064ff1.
| * | Merge pull request #1432 from YosysHQ/eddie/fix1427Eddie Hung2019-10-082-48/+85
| |\ \ | | | | | | | | Refactor peepopt_dffmux and be sensitive to \init when trimming
| | * | Fix broken CI, check reset even for constants, trim rstmuxEddie Hung2019-10-021-23/+26
| | | |
| | * | Merge branch 'eddie/fix_sat_init' into eddie/fix1427Eddie Hung2019-10-021-1/+4
| | |\ \
| | | * | Be mindful that sigmap(wire) could have dupes when checking \initEddie Hung2019-10-021-1/+4
| | | | |
| | * | | Refactor peepopt_dffmux and be sensitive to \init when trimmingEddie Hung2019-10-021-32/+63
| | |/ /
| * | | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2syncEddie Hung2019-10-081-4/+15
| |\ \ \ | | | | | | | | | | async2sync to be called by equiv_opt only when -async2sync given
| | * | | Add -async2sync to help text as per @daveshah1Eddie Hung2019-10-041-1/+4
| | | | |
| | * | | Restore part of docEddie Hung2019-10-031-1/+2
| | | | |
| | * | | Add new -async2sync optionEddie Hung2019-10-031-1/+11
| | | | |
| | * | | Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"Eddie Hung2019-10-031-2/+0
| | | | | | | | | | | | | | | | | | | | This reverts commit a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
| | * | | Revert "Update doc for equiv_opt"Eddie Hung2019-10-031-3/+2
| | |/ / | | | | | | | | | | | | This reverts commit a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
| * | | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-68/+67
| |\ \ \ | | | | | | | | | | Rename abc_* names/attributes to more precisely be abc9_*
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-12 20:58:19 +0000