summaryrefslogtreecommitdiffstats
path: root/src/proof/pdr/pdrSat.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating Satoko into pdr.Alan Mishchenko2017-08-161-11/+11
* Improvements to ternary simulation.Alan Mishchenko2017-03-091-2/+2
* Promising modification of the generalization procedure in 'pdr'.Alan Mishchenko2017-02-161-2/+2
* Adding structural flop priority heuristics in 'pdr'.Alan Mishchenko2017-02-031-0/+2
* Removing dead code in 'pdr'.Alan Mishchenko2017-02-031-18/+0
* Enabling new X-valued simulation in 'pdr'.Alan Mishchenko2017-02-031-1/+8
* Improvements to inductive generalization in IC3/PDR by Zyad Hassan.Alan Mishchenko2017-02-021-2/+4
* Adding switch 'pdr -o' to control using property output in induction.Alan Mishchenko2016-05-251-0/+2
* Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...Alan Mishchenko2016-01-141-3/+8
* 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