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