summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaHash.c
Commit message (Expand)AuthorAgeFilesLines
* Small changes for today's experiments.Alan Mishchenko2016-06-031-5/+5
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-12/+22
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+5
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+1
* Improvements to &b -das.Alan Mishchenko2015-09-181-3/+7
* Integrating barrier buffers.Alan Mishchenko2014-12-111-0/+3
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-1/+1
* Adding MAJ gate to GIA package.Alan Mishchenko2014-10-261-0/+19
* New logic sharing extraction.Alan Mishchenko2013-09-281-0/+4
* New logic sharing extraction.Alan Mishchenko2013-09-281-0/+6
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-3/+8
* 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