summaryrefslogtreecommitdiffstats
path: root/src/proof/abs/abs.h
Commit message (Expand)AuthorAgeFilesLines
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-231-1/+2
* Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() form...Alan Mishchenko2013-01-081-31/+58
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-021-0/+4
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-1/+2
* Restructured the code to post-process object used during refinement in &gla.Alan Mishchenko2012-09-161-0/+9
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-161-0/+4
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-0/+131