From 689cbe904e3a28d7502feb9931b748764f947aaf Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 27 Sep 2008 08:01:00 -0700 Subject: Version abc80927 --- abc.dsp | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'abc.dsp') diff --git a/abc.dsp b/abc.dsp index 936445cf..8f3cfbe2 100644 --- a/abc.dsp +++ b/abc.dsp @@ -3270,6 +3270,10 @@ SOURCE=.\src\aig\saig\saig.h # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigAbs.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigBmc.c # End Source File # Begin Source File @@ -3290,6 +3294,10 @@ SOURCE=.\src\aig\saig\saigIoa.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigLoc.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigMiter.c # End Source File # Begin Source File @@ -3488,6 +3496,10 @@ SOURCE=.\src\aig\ssw\sswSimSat.c SOURCE=.\src\aig\ssw\sswSweep.c # End Source File +# Begin Source File + +SOURCE=.\src\aig\ssw\sswUnique.c +# End Source File # End Group # End Group # End Group -- cgit v1.2.3