projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ec50ca) | patch
Add "cutpoint" pass
authorClifford Wolf <clifford@clifford.at>
Mon, 25 Mar 2019 18:49:00 +0000 (19:49 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 25 Mar 2019 18:49:00 +0000 (19:49 +0100)
commitddc1a4488e9fc10f557e4260df0becbc1cf43f72
tree714c709b7850a3acd15da2635f3d14d37a590a86tree
parent9ec50ca7b9db497c10dda2630afb7e7c0e537044commit | diff
Add "cutpoint" pass

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/Makefile.inc diff | blob | history
passes/sat/cutpoint.cc [new file with mode: 0644] blob