summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso2.c
Commit message (Expand)AuthorAgeFilesLines
* changed int to unsigned / narrowing conversion errorHeinz Riener2017-03-031-1/+1
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-7/+8
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-61/+132
* Changes in specialized matching.Alan Mishchenko2013-10-021-4/+0
* Changes in specialized matching.Alan Mishchenko2013-10-021-0/+4
* 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