summaryrefslogtreecommitdiffstats
path: root/src/proof/pdr/module.make
Commit message (Expand)AuthorAgeFilesLines
* Improvements to ternary simulation.Alan Mishchenko2017-03-091-0/+1
* Changes to Visual Studio project file to support 'pdra'.Alan Mishchenko2017-02-211-2/+2
* started pdrIncr.cYen-Sheng Ho2017-02-181-1/+2
* Enabling new X-valued simulation in 'pdr'.Alan Mishchenko2017-02-031-0/+1
* Removed unused files from the project.Alan Mishchenko2012-07-251-2/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+8