summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigAbsCba.c
Commit message (Expand)AuthorAgeFilesLines
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-2/+3
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-5/+5
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-13/+13
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-9/+9
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-2/+2
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-6/+134
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-17/+17
* Added/renamed useful APIs.Alan Mishchenko2011-12-061-1/+1
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-3/+9
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-1/+86
* Bug fix in CBA.Alan Mishchenko2011-08-311-0/+5
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-2/+3
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-2/+4
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-12/+15
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-011-3/+3
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-011-5/+5
* Bug fix in &abs_cba.Alan Mishchenko2011-08-011-4/+121
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-2/+470
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-0/+56