diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-06 15:04:52 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-06 15:04:52 +0200 |
| commit | 6efca9ea5a64cd2440c9736c4db863e78d14b5c6 (patch) | |
| tree | 5c64c3d209bd0aeb2c82fcbc4e9f7e5e04a7c4bf /passes/sat/Makefile.inc | |
| parent | 117489f95ac70632897a7048705923353bba0447 (diff) | |
| download | yosys-6efca9ea5a64cd2440c9736c4db863e78d14b5c6.tar.gz yosys-6efca9ea5a64cd2440c9736c4db863e78d14b5c6.tar.bz2 yosys-6efca9ea5a64cd2440c9736c4db863e78d14b5c6.zip | |
Added freduce command
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 92ffaa48b..9558d7eca 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -1,4 +1,5 @@ OBJS += passes/sat/sat.o +OBJS += passes/sat/freduce.o OBJS += passes/sat/eval.o |