summaryrefslogtreecommitdiffstats
path: root/src/aig/aig/aigMan.c
Commit message (Expand)AuthorAgeFilesLines
* merge unfold2Jiang Long2014-06-041-0/+8
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-23/+0
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-1/+1
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-31/+31
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-6/+6
* Major restructuring of the code.Alan Mishchenko2012-01-211-6/+6
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-2/+2
* Added ternary simulation value storageAlan Mishchenko2010-11-291-0/+1
* initial commit of public abcAlan Mishchenko2010-11-011-29/+68
* Version abc90901Alan Mishchenko2015-06-221-0/+1
* Version abc90714Alan Mishchenko2015-06-221-2/+2
* Version abc90215Alan Mishchenko2009-02-151-15/+15
* Version abc90118Alan Mishchenko2009-01-181-11/+13
* Version abc81027Alan Mishchenko2008-10-271-0/+1
* Version abc80717Alan Mishchenko2008-07-171-0/+17
* Version abc80611Alan Mishchenko2008-06-111-0/+1
* Version abc80517Alan Mishchenko2008-05-171-3/+57
* Version abc80516Alan Mishchenko2008-05-161-0/+19
* Version abc80510Alan Mishchenko2008-05-101-1/+1
* Version abc80508Alan Mishchenko2008-05-081-1/+1
* Version abc80430Alan Mishchenko2008-04-301-2/+2
* Version abc80422Alan Mishchenko2008-04-221-0/+22
* Version abc80416Alan Mishchenko2008-04-161-2/+33
* Version abc80410Alan Mishchenko2008-04-101-0/+1
* Version abc80403_2Alan Mishchenko2008-04-031-0/+1
* Version abc80403Alan Mishchenko2008-04-031-374/+1
* Version abc80402Alan Mishchenko2008-04-021-1/+7
* Version abc80330Alan Mishchenko2008-03-301-14/+81
* Version abc80329Alan Mishchenko2008-03-291-12/+184
* Version abc80327Alan Mishchenko2008-03-271-50/+44
* Version abc80326Alan Mishchenko2008-03-261-18/+58
* Version abc80301Alan Mishchenko2008-03-011-0/+1
* Version abc80205Alan Mishchenko2008-02-051-0/+34
* Version abc80202Alan Mishchenko2008-02-021-0/+1
* Version abc80130_2Alan Mishchenko2008-01-301-0/+369
* Version abc80130Alan Mishchenko2008-01-301-369/+0
* Version abc80123Alan Mishchenko2008-01-231-0/+1
* Version abc71226Alan Mishchenko2007-12-261-2/+3
* Version abc71130Alan Mishchenko2007-11-301-6/+47
* Version abc71002Alan Mishchenko2007-10-021-0/+1
* Version abc71001Alan Mishchenko2007-10-011-0/+325
* Version abc70930Alan Mishchenko2007-09-301-324/+0
* Version abc70926Alan Mishchenko2007-09-261-0/+5
* Version abc70911Alan Mishchenko2007-09-111-0/+5
* Version abc70906Alan Mishchenko2007-09-061-4/+8
* Version abc70828Alan Mishchenko2007-08-281-331/+0
* Version abc70819Alan Mishchenko2007-08-191-0/+1
* Version abc70817Alan Mishchenko2007-08-171-0/+330
* Version abc70731Alan Mishchenko2007-07-311-5/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 15:28:04 +0000