summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso2.c
Commit message (Expand)AuthorAgeFilesLines
* Added sorting equiv classes by the index of their representatives.Alan Mishchenko2013-09-101-0/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-16/+16
* Fix to return equiv classes after improving &iso.Alan Mishchenko2013-05-031-1/+1
* Compiler warnings.Alan Mishchenko2013-05-011-3/+2
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-0/+703