From 236d412255e5007adac97c05e759bfd5069bc1c1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 May 2016 19:47:02 -0700 Subject: Experiments with CEC for arithmetic circuits. --- src/aig/gia/module.make | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/aig/gia/module.make') diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index 7da2858e..273597a4 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -23,7 +23,6 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaEra.c \ src/aig/gia/giaEra2.c \ src/aig/gia/giaEsop.c \ - src/aig/gia/giaFadds.c \ src/aig/gia/giaFalse.c \ src/aig/gia/giaFanout.c \ src/aig/gia/giaForce.c \ @@ -52,7 +51,6 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaPack.c \ src/aig/gia/giaPat.c \ src/aig/gia/giaPf.c \ - src/aig/gia/giaPolyn.c \ src/aig/gia/giaQbf.c \ src/aig/gia/giaResub.c \ src/aig/gia/giaRetime.c \ -- cgit v1.2.3