diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-10-14 14:55:07 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-10-14 14:55:07 +0200 |
commit | 2733994aeba0879533cc1a871aae84497b32ff9e (patch) | |
tree | a92e8d65fe679e41d5cb579c68dcf2610ef6fef1 /passes/sat/Makefile.inc | |
parent | 2ef454c3f579a4b64abcddadf90d3746611d251d (diff) | |
download | yosys-2733994aeba0879533cc1a871aae84497b32ff9e.tar.gz yosys-2733994aeba0879533cc1a871aae84497b32ff9e.tar.bz2 yosys-2733994aeba0879533cc1a871aae84497b32ff9e.zip |
Added clk2fflogic
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 0c5f6fc60..6785b750a 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -5,4 +5,5 @@ OBJS += passes/sat/eval.o OBJS += passes/sat/miter.o OBJS += passes/sat/expose.o OBJS += passes/sat/assertpmux.o +OBJS += passes/sat/clk2fflogic.o |