summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAig.c
Commit message (Expand)AuthorAgeFilesLines
* New abstraction code.Alan Mishchenko2011-10-151-0/+1
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-1/+1
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-13/+234
* Version abc90901Alan Mishchenko2015-06-221-0/+24
* Version abc90714Alan Mishchenko2015-06-221-0/+41
* Version abc90424Alan Mishchenko2009-04-241-0/+77
* Version abc90410Alan Mishchenko2009-04-101-43/+51
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90321Alan Mishchenko2009-03-211-0/+7
* Version abc90313Alan Mishchenko2009-03-131-0/+23
* Version abc90310Alan Mishchenko2009-03-101-4/+2
* Version abc90215Alan Mishchenko2009-02-151-0/+214