passes/sat/Makefile.inc

   1
   2 OBJS += passes/sat/sat.o
   3 OBJS += passes/sat/freduce.o
   4 OBJS += passes/sat/eval.o
   5 OBJS += passes/sat/sim.o
   6 OBJS += passes/sat/miter.o
   7 OBJS += passes/sat/expose.o
   8 OBJS += passes/sat/assertpmux.o
   9 OBJS += passes/sat/clk2fflogic.o
  10 OBJS += passes/sat/async2sync.o
  11 OBJS += passes/sat/supercover.o
  12 OBJS += passes/sat/fmcombine.o
  13 OBJS += passes/sat/mutate.o
  14 OBJS += passes/sat/cutpoint.o
  15 OBJS += passes/sat/fminit.o
  16