summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAbs.c
Commit message (Expand)AuthorAgeFilesLines
* Added command &gla_purify.Alan Mishchenko2012-07-081-0/+210
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-2/+2
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-191-4/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-2/+6
* Making GLA PBA and GLA CBA communicate information.Alan Mishchenko2011-11-221-2/+5
* Bug fix in GLA PBA.Alan Mishchenko2011-11-131-1/+4
* Setting the number of completed time frames.Alan Mishchenko2011-11-121-2/+11
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-4/+4
* Improvements to the new abstraction code.Alan Mishchenko2011-10-271-18/+59
* New proof-based abstraction code.Alan Mishchenko2011-10-251-2/+38
* New abstraction code.Alan Mishchenko2011-10-191-3/+3
* New abstraction code.Alan Mishchenko2011-10-191-3/+3
* New abstraction code.Alan Mishchenko2011-10-151-0/+36
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-28/+2
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-121-2/+2
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-1/+16
* Added timeout to &abc_pba.Alan Mishchenko2011-09-021-2/+2
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-2/+2
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-3/+4
* Bug fix in PBA.Alan Mishchenko2011-08-041-14/+19
* Several bug fixes.Alan Mishchenko2011-08-021-46/+65
* Bug fix in &abs_cba.Alan Mishchenko2011-08-011-2/+1
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-21/+53
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-34/+6
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-277/+82
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...Alan Mishchenko2011-04-171-2/+2
* Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-3/+3
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-0/+553