summaryrefslogtreecommitdiffstats
path: root/src/aig/aig/aigObj.c
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2017-07-221-1/+1
* Testing GIA with time manager.Alan Mishchenko2012-09-231-1/+0
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-40/+0
* Added error message when the user is trying 'dsat' for multi-output comb miters.Alan Mishchenko2012-09-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-18/+18
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-4/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+4
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-0/+21
* initial commit of public abcAlan Mishchenko2010-11-011-1/+6
* Version abc90424Alan Mishchenko2009-04-241-0/+10
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90118Alan Mishchenko2009-01-181-0/+9
* Version abc80702Alan Mishchenko2008-07-021-1/+2
* Version abc80518Alan Mishchenko2008-05-181-2/+3
* Version abc80517Alan Mishchenko2008-05-171-93/+118
* Version abc80510Alan Mishchenko2008-05-101-0/+5
* Version abc80508Alan Mishchenko2008-05-081-2/+4
* Version abc80422Alan Mishchenko2008-04-221-0/+75
* Version abc80410Alan Mishchenko2008-04-101-0/+2
* Version abc80402Alan Mishchenko2008-04-021-0/+1
* Version abc80329Alan Mishchenko2008-03-291-16/+1
* Version abc80327Alan Mishchenko2008-03-271-0/+4
* Version abc80130_2Alan Mishchenko2008-01-301-0/+431
* Version abc80130Alan Mishchenko2008-01-301-431/+0
* Version abc71130Alan Mishchenko2007-11-301-1/+16
* Version abc71001Alan Mishchenko2007-10-011-0/+416
* Version abc70930Alan Mishchenko2007-09-301-416/+0
* Version abc70731Alan Mishchenko2007-07-311-1/+2
* Version abc70726Alan Mishchenko2007-07-261-0/+10
* Version abc70723Alan Mishchenko2007-07-231-2/+3
* Version abc70714Alan Mishchenko2007-07-141-17/+113
* Version abc70712Alan Mishchenko2007-07-121-0/+308