Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 302 Bytes
Newer Older
Removed unused files from the project.
bb68d0b7
 
Alan Mishchenko committed
1 
SRC +=    src/proof/pdr/pdrCnf.c \
Major restructuring of the code.
8014f25f
 
Alan Mishchenko committed
2 
    src/proof/pdr/pdrCore.c \
Changes to Visual Studio project file to support 'pdra'.
96ccd24e
 
Alan Mishchenko committed
3 
    src/proof/pdr/pdrIncr.c \
Major restructuring of the code.
8014f25f
 
Alan Mishchenko committed
4 5 6 7 
    src/proof/pdr/pdrInv.c \
    src/proof/pdr/pdrMan.c \
    src/proof/pdr/pdrSat.c \
    src/proof/pdr/pdrTsim.c \
Enabling new X-valued simulation in 'pdr'.
6d088bc4
 
Alan Mishchenko committed
8 
    src/proof/pdr/pdrTsim2.c \
Improvements to ternary simulation.
d877074d
 
Alan Mishchenko committed
9 
    src/proof/pdr/pdrTsim3.c \
Changes to Visual Studio project file to support 'pdra'.
96ccd24e
 
Alan Mishchenko committed
10 
    src/proof/pdr/pdrUtil.c