diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-09 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-09 08:01:00 -0700 |
| commit | a30c08bbe55d624ec3269577bf16f2f09215be12 (patch) | |
| tree | f0670e8bef0dfb14d53debd37b431d6863b38cad /abc.dsp | |
| parent | 092c7be0ffb89d869e8eaeb04de12779ce96e8b9 (diff) | |
| download | abc-a30c08bbe55d624ec3269577bf16f2f09215be12.tar.gz abc-a30c08bbe55d624ec3269577bf16f2f09215be12.tar.bz2 abc-a30c08bbe55d624ec3269577bf16f2f09215be12.zip | |
Version abc80909
Diffstat (limited to 'abc.dsp')
| -rw-r--r-- | abc.dsp | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -2010,6 +2010,10 @@ SOURCE=.\src\map\ply\plyAig.c # End Source File # Begin Source File +SOURCE=.\src\map\ply\plyFake.c +# End Source File +# Begin Source File + SOURCE=.\src\map\ply\plyInt.h # End Source File # Begin Source File @@ -3442,6 +3446,10 @@ SOURCE=.\src\aig\ssw\sswSat.c # End Source File # Begin Source File +SOURCE=.\src\aig\ssw\sswSim.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\ssw\sswSimSat.c # End Source File # Begin Source File |