summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso2.c
Commit message (Collapse)AuthorAgeFilesLines
* 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