summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigAbsVfa.c
Commit message (Expand)AuthorAgeFilesLines
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-271-0/+328