diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-03-25 19:49:00 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-03-25 19:49:00 +0100 |
commit | ddc1a4488e9fc10f557e4260df0becbc1cf43f72 (patch) | |
tree | 714c709b7850a3acd15da2635f3d14d37a590a86 /passes/sat/Makefile.inc | |
parent | 9ec50ca7b9db497c10dda2630afb7e7c0e537044 (diff) | |
download | yosys-ddc1a4488e9fc10f557e4260df0becbc1cf43f72.tar.gz yosys-ddc1a4488e9fc10f557e4260df0becbc1cf43f72.tar.bz2 yosys-ddc1a4488e9fc10f557e4260df0becbc1cf43f72.zip |
Add "cutpoint" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/sat/Makefile.inc')
-rw-r--r-- | passes/sat/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index 4eced2ff1..fc3ac879e 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -11,4 +11,5 @@ OBJS += passes/sat/async2sync.o OBJS += passes/sat/supercover.o OBJS += passes/sat/fmcombine.o OBJS += passes/sat/mutate.o +OBJS += passes/sat/cutpoint.o |