luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Changes to Visual Studio project file to support 'pdra'.

This commit is contained in:
Alan Mishchenko 2017-02-21 20:39:52 -08:00
parent 0e9f8093c3
commit 96ccd24e6e
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
abclib.dsp
View File

@ -5355,6 +5355,10 @@ SOURCE=.\src\proof\pdr\pdrCore.c
# End Source File # End Source File
# Begin Source File # Begin Source File
SOURCE=.\src\proof\pdr\pdrIncr.c
# End Source File
# Begin Source File
SOURCE=.\src\proof\pdr\pdrInt.h SOURCE=.\src\proof\pdr\pdrInt.h
# End Source File # End Source File
# Begin Source File # Begin Source File

4
src/proof/pdr/module.make
View File

@ -1,9 +1,9 @@
SRC += src/proof/pdr/pdrCnf.c \ SRC += src/proof/pdr/pdrCnf.c \
src/proof/pdr/pdrCore.c \ src/proof/pdr/pdrCore.c \
src/proof/pdr/pdrIncr.c \
src/proof/pdr/pdrInv.c \ src/proof/pdr/pdrInv.c \
src/proof/pdr/pdrMan.c \ src/proof/pdr/pdrMan.c \
src/proof/pdr/pdrSat.c \ src/proof/pdr/pdrSat.c \
src/proof/pdr/pdrTsim.c \ src/proof/pdr/pdrTsim.c \
src/proof/pdr/pdrTsim2.c \ src/proof/pdr/pdrTsim2.c \
src/proof/pdr/pdrUtil.c \ src/proof/pdr/pdrUtil.c
src/proof/pdr/pdrIncr.c