diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 23:57:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 23:57:58 -0700 |
| commit | f6b67d78464a10705d02a7491ca5ef78624f209c (patch) | |
| tree | 2e8bab3b18d67d42401a8bf3765e07825c1a8fb5 /abclib.dsp | |
| parent | 2071d9a732d0e0bf58a47466cf3570e9fe26fa6c (diff) | |
| download | abc-f6b67d78464a10705d02a7491ca5ef78624f209c.tar.gz abc-f6b67d78464a10705d02a7491ca5ef78624f209c.tar.bz2 abc-f6b67d78464a10705d02a7491ca5ef78624f209c.zip | |
Added new command &gla_shrink.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3415,6 +3415,10 @@ SOURCE=.\src\aig\gia\giaAbsGla2.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaAbsIter.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaAbsRef.c # End Source File # Begin Source File |