summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso.c
Commit message (Expand)AuthorAgeFilesLines
* Unifification of custom extensions.Alan Mishchenko2012-12-101-3/+3
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-1/+1
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-4/+87
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-9/+16
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-11/+14
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-031-2/+2
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-0/+8
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-2/+2
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-4/+39
* Exploration of ISO and minor changes.Alan Mishchenko2012-03-131-7/+104
* Updating &test to call full check.Alan Mishchenko2012-03-101-1/+1
* 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