diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
| commit | be6a484a997a8477d4c3b03c17f798c1b0061bf1 (patch) | |
| tree | 5c2e6dfa747144ba11dbdc8298ad08b19d5e49d1 /abc.dsp | |
| parent | ae037e45038cca6f0b86abea50692399a03b01be (diff) | |
| download | abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.gz abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.bz2 abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.zip | |
Version abc61216
Diffstat (limited to 'abc.dsp')
| -rw-r--r-- | abc.dsp | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -410,6 +410,10 @@ SOURCE=.\src\base\io\ioRead.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioReadAiger.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioReadBaf.c # End Source File # Begin Source File @@ -438,6 +442,10 @@ SOURCE=.\src\base\io\ioUtil.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioWriteAiger.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioWriteBaf.c # End Source File # Begin Source File |