summaryrefslogtreecommitdiffstats
path: root/src/aig/ioa
Commit message (Expand)AuthorAgeFilesLines
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-1/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-13/+13
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-092-10/+10
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Graph isomorphism checking code.Alan Mishchenko2012-02-112-5/+23
* Major restructuring of the code.Alan Mishchenko2012-01-213-7/+7
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-062-10/+71
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+0
* initial commit of public abcAlan Mishchenko2010-11-014-15/+210
* Version abc90804Alan Mishchenko2015-06-221-19/+44
* Version abc90310Alan Mishchenko2009-03-102-3/+15
* Version abc90215Alan Mishchenko2009-02-153-10/+17
* Version abc90118Alan Mishchenko2009-01-181-0/+6
* Version abc80702Alan Mishchenko2008-07-021-3/+3
* Version abc80518Alan Mishchenko2008-05-181-25/+26
* Version abc80515Alan Mishchenko2008-05-151-15/+4
* Version abc80410Alan Mishchenko2008-04-101-3/+3
* Version abc80305Alan Mishchenko2008-03-052-0/+36
* Version abc80130_2Alan Mishchenko2008-01-305-0/+944
* Version abc80130Alan Mishchenko2008-01-305-944/+0
* Version abc80121Alan Mishchenko2008-01-213-109/+249
* Version abc71001Alan Mishchenko2007-10-015-0/+804
* Version abc70930Alan Mishchenko2007-09-305-804/+0
* Version abc70926Alan Mishchenko2007-09-261-1/+2
* Version abc70906Alan Mishchenko2007-09-065-0/+803