summaryrefslogtreecommitdiffstats
path: root/src/proof/abs/absGla.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-3/+3
* Compiler warnings.Alan Mishchenko2017-07-221-1/+1
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-15/+25
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-1/+19
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-231-8/+8
* Adding resource limit to stop &gla when the number of remaining objects is le...Alan Mishchenko2013-09-211-0/+8
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-36/+36
* New fast extract.Alan Mishchenko2013-04-271-21/+0
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+0
* Unifification of custom extensions.Alan Mishchenko2012-12-101-2/+2
* Enabling verbose report of dumping abstraction in GLA.Alan Mishchenko2012-11-071-4/+4
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-2/+2
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-1/+2
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* C++ portability changes.Alan Mishchenko2012-10-031-4/+4
* Added simplification before the concurrent call to PDR.Alan Mishchenko2012-09-201-1/+1
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-171-1/+1
* Improving printouts in &gla.Alan Mishchenko2012-09-161-17/+8
* Improving printouts in &gla.Alan Mishchenko2012-09-161-5/+9
* Changed a few things in the refinement package of &gla.Alan Mishchenko2012-09-161-2/+4
* Restructured the code to post-process object used during refinement in &gla.Alan Mishchenko2012-09-161-8/+2
* Made abstraction and PDR communicate in-memory rather than through a file.Alan Mishchenko2012-09-161-14/+10
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-0/+1899