summaryrefslogtreecommitdiffstats
path: root/src/proof/pdr/pdrSat.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing several bugs, which led to unsound results produced by 'pdr -a' with p...Alan Mishchenko2013-09-131-0/+3
* Experiment with 'pdr'.Alan Mishchenko2013-07-191-6/+6
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-7/+7
* Changing how often timeout is checked in the SAT solver and several applicati...Alan Mishchenko2013-05-271-1/+8
* Adding rollback for the other solver.Alan Mishchenko2013-04-251-1/+1
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-0/+3
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-6/+14
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-2/+3
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-3/+3
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+373