summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso.c
Commit message (Expand)AuthorAgeFilesLines
* Added skipping &iso when there is only one PO.Alan Mishchenko2012-02-291-0/+2
* Isomorphism checking code.Alan Mishchenko2012-02-201-11/+44
* Isomorphism checking code.Alan Mishchenko2012-02-201-122/+526
* Isomorphism checking code.Alan Mishchenko2012-02-191-9/+12
* Isomorphism checking code.Alan Mishchenko2012-02-191-9/+136
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-217/+1
* Isomorphism checking code.Alan Mishchenko2012-02-191-55/+201
* Isomorphism checking code.Alan Mishchenko2012-02-181-869/+361
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Isomorphism checking code.Alan Mishchenko2012-02-151-86/+579
* Isomorphism checking code.Alan Mishchenko2012-02-141-0/+600