summaryrefslogtreecommitdiffstats
path: root/src/aig/aig/aigCheck.c
Commit message (Expand)AuthorAgeFilesLines
* Simplification in AIG manager object counting.Alan Mishchenko2012-10-051-1/+1
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-4/+4
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-0/+5
* Version abc80725Alan Mishchenko2008-07-251-1/+1
* Version abc80329Alan Mishchenko2008-03-291-8/+8
* Version abc80130_2Alan Mishchenko2008-01-301-0/+163
* Version abc80130Alan Mishchenko2008-01-301-163/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+163
* Version abc70930Alan Mishchenko2007-09-301-163/+0
* Version abc70926Alan Mishchenko2007-09-261-1/+2
* Version abc70906Alan Mishchenko2007-09-061-1/+1
* Version abc70731Alan Mishchenko2007-07-311-0/+41
* Version abc70712Alan Mishchenko2007-07-121-0/+121