summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-10-06 15:12:39 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-10-06 15:12:39 -0700
commit46370974917ac8fc9ea4d0f864fcb15721d5c591 (patch)
treee4b211a71db90b4348308b7062aa1e385d06af54
parentad8a3f5159a168596a3fc7b8b6956bfbcd07a277 (diff)
downloadabc-46370974917ac8fc9ea4d0f864fcb15721d5c591.tar.gz
abc-46370974917ac8fc9ea4d0f864fcb15721d5c591.tar.bz2
abc-46370974917ac8fc9ea4d0f864fcb15721d5c591.zip
New AIG optimization package.
-rw-r--r--src/bdd/cudd/cuddSymmetry.c1
-rw-r--r--src/opt/dau/dauDsd.c2
-rw-r--r--src/opt/dau/module.make4
3 files changed, 4 insertions, 3 deletions
diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 129b43d9..76a9611c 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1632,6 +1632,7 @@ ddSymmSiftingBackward(
Move *move;
int res = -1;
+ size = size;
for (move = moves; move != NULL; move = move->next) {
if (move->size < size) {
size = move->size;
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c
index 1b690cb9..bef0f894 100644
--- a/src/opt/dau/dauDsd.c
+++ b/src/opt/dau/dauDsd.c
@@ -412,7 +412,7 @@ void Dau_DsdTestOne( word t, int i )
// t = t & 0xFFFFFFFF;
// t |= (t << 32);
p = Dau_DsdPerform( t );
- return;
+// return;
t2 = Dau_DsdToTruth( p );
if ( t != t2 )
diff --git a/src/opt/dau/module.make b/src/opt/dau/module.make
index 5fd9ef90..c58d8807 100644
--- a/src/opt/dau/module.make
+++ b/src/opt/dau/module.make
@@ -1,3 +1,3 @@
SRC += src/opt/dau/dau.c \
- src/opt/dau/daCore.c \
- src/opt/dau/daDsd.c
+ src/opt/dau/dauCore.c \
+ src/opt/dau/dauDsd.c