summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIso.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* changed int to unsigned / narrowing conversion errorHeinz Riener2017-03-031-1/+1
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-35/+35
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-35/+0
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-5/+44
* Changing the print-out of &iso.Alan Mishchenko2013-04-301-5/+14
* 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