summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAbsRef2.c
Commit message (Expand)AuthorAgeFilesLines
* Improved abstraction refinement.Alan Mishchenko2012-08-091-29/+245
* New cut-based refinement.Alan Mishchenko2012-08-081-2/+198
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-7/+25
* New cut-based refinement.Alan Mishchenko2012-08-061-0/+486