summaryrefslogtreecommitdiffstats
path: root/src/aig/aig/aigDfs.c
Commit message (Expand)AuthorAgeFilesLines
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-231-3/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Performance bug fix in choice generation.Alan Mishchenko2012-11-091-1/+14
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-7/+7
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-17/+17
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-14/+14
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Support computation experiments with different network data-structures.Alan Mishchenko2012-01-141-0/+23
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-0/+64
* initial commit of public abcAlan Mishchenko2010-11-011-14/+22
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc81014Alan Mishchenko2008-10-141-0/+2
* Version abc80921Alan Mishchenko2008-09-211-0/+27
* Version abc80910Alan Mishchenko2008-09-101-0/+49
* Version abc80721Alan Mishchenko2008-07-211-0/+62
* Version abc80502Alan Mishchenko2008-05-021-0/+7
* Version abc80410Alan Mishchenko2008-04-101-3/+3
* Version abc80406Alan Mishchenko2008-04-061-4/+4
* Version abc80403_2Alan Mishchenko2008-04-031-1/+1
* Version abc80403Alan Mishchenko2008-04-031-66/+118
* Version abc80402Alan Mishchenko2008-04-021-0/+74
* Version abc80329Alan Mishchenko2008-03-291-11/+26
* Version abc80222Alan Mishchenko2008-02-221-6/+9
* Version abc80130_2Alan Mishchenko2008-01-301-0/+723
* Version abc80130Alan Mishchenko2008-01-301-723/+0
* Version abc71225Alan Mishchenko2007-12-251-1/+24
* Version abc71001Alan Mishchenko2007-10-011-0/+700
* Version abc70930Alan Mishchenko2007-09-301-700/+0
* Version abc70926Alan Mishchenko2007-09-261-6/+6
* Version abc70906Alan Mishchenko2007-09-061-0/+21
* Version abc70822Alan Mishchenko2007-08-221-0/+48
* Version abc70727Alan Mishchenko2007-07-271-2/+2
* Version abc70726Alan Mishchenko2007-07-261-6/+139
* Version abc70723Alan Mishchenko2007-07-231-0/+58
* Version abc70714Alan Mishchenko2007-07-141-0/+59
* Version abc70712Alan Mishchenko2007-07-121-0/+381