summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-04-15 08:01:27 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-04-15 08:01:27 -0700
commit3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2 (patch)
tree02a5140fb2ffddb28819c292d5032102367bb32c
parent4635027478fc04b1e1f8bd0225c1e33b32ba9f93 (diff)
downloadabc-3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2.tar.gz
abc-3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2.tar.bz2
abc-3dfdbe1402ffebf902e9700ac85ed5bffd16f7d2.zip
Forgot to update project file.
-rw-r--r--abc.rc2
-rw-r--r--src/aig/llb/module.make1
2 files changed, 2 insertions, 1 deletions
diff --git a/abc.rc b/abc.rc
index 895d92a6..9a062332 100644
--- a/abc.rc
+++ b/abc.rc
@@ -21,7 +21,7 @@ set gnuplotwin wgnuplot.exe
set gnuplotunix gnuplot
# Niklas Een's commands
-load_plugin C:\_projects\abc\_TEST\bip\bip_2010-10-19.exe "BIP"
+load_plugin C:\_projects\abc\_TEST\bip\bip_2011-04-15.exe "BIP"
# standard aliases
alias b balance
diff --git a/src/aig/llb/module.make b/src/aig/llb/module.make
index 028e9fe4..8a4d34f5 100644
--- a/src/aig/llb/module.make
+++ b/src/aig/llb/module.make
@@ -17,5 +17,6 @@ SRC += src/aig/llb/llb.c \
src/aig/llb/llb2Image.c \
src/aig/llb/llb3Image.c \
src/aig/llb/llb3Nonlin.c \
+ src/aig/llb/llb4Cluster.c \
src/aig/llb/llb4Image.c \
src/aig/llb/llb4Nonlin.c