summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigCexMin.c
Commit message (Expand)AuthorAgeFilesLines
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-1/+62
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-180/+351
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-011-0/+30
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-011-2/+2
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-0/+330