summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAbsRef.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing undesirable effect of recent refinement code on older code in &gla -n.Alan Mishchenko2012-08-111-2/+4
* Enabling -S <num> for &gla to not check the first <num> frames.Alan Mishchenko2012-08-101-10/+207
* Improved abstraction refinement.Alan Mishchenko2012-08-091-9/+13
* Improved abstraction refinement.Alan Mishchenko2012-08-091-4/+235
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-1/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-0/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-07-311-1/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-07-311-5/+5
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+1
* Recording and reusing learned util clauses in bmc3.Alan Mishchenko2012-07-221-1/+1
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+2
* Added new refinement manager for &gla and &abs_refine.Alan Mishchenko2012-07-141-0/+561