summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigAbs.c
Commit message (Expand)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-3/+3
* Bug fix in &abs_cba.Alan Mishchenko2011-08-011-4/+0
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-0/+50
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-347/+17
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-271-3/+5
* Improved the speed of refinement algorithm in &abs_refine.Alan Mishchenko2011-03-041-5/+11
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-5/+5
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-3/+23
* initial commit of public abcAlan Mishchenko2010-11-011-755/+155
* Version abc90901Alan Mishchenko2015-06-221-29/+93
* Version abc90804Alan Mishchenko2015-06-221-13/+40
* Version abc90714Alan Mishchenko2015-06-221-1/+10
* Version abc90424Alan Mishchenko2009-04-241-2/+6
* Version abc90408Alan Mishchenko2009-04-081-6/+7
* Version abc90215Alan Mishchenko2009-02-151-13/+13
* Version abc90118Alan Mishchenko2009-01-181-46/+213
* Version abc81029Alan Mishchenko2008-10-291-35/+480
* Version abc81027Alan Mishchenko2008-10-271-189/+133
* Version abc81013Alan Mishchenko2008-10-131-10/+27
* Version abc80927Alan Mishchenko2008-09-271-0/+311