summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaHash.c
Commit message (Expand)AuthorAgeFilesLines
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-34/+121
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-1/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-0/+31
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-1/+1
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+1
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-1/+1
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-301-0/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-23/+23
* New hierarchy manager.Alan Mishchenko2012-01-171-2/+2
* Removing additional printout in the GIA package.Alan Mishchenko2012-01-161-15/+5
* New hierarchy manager plus additional printout in the GIA package.Alan Mishchenko2012-01-161-0/+14
* Added counting hits and misses during structural hashing.Alan Mishchenko2012-01-131-1/+5
* initial commit of public abcAlan Mishchenko2010-11-011-1/+26
* Version abc90408Alan Mishchenko2009-04-081-12/+21
* Version abc90329Alan Mishchenko2009-03-291-1/+29
* Version abc90220Alan Mishchenko2009-02-201-0/+18
* Version abc90215Alan Mishchenko2009-02-151-0/+541