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