summaryrefslogtreecommitdiffstats
path: root/src/aig/ioa
Commit message (Collapse)AuthorAgeFilesLines
* Bug fixes in the above patches.Alan Mishchenko2013-12-031-2/+3
|
* Suggested patch of AIG writers.Alan Mishchenko2013-12-031-4/+10
|
* 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 ↵Alan Mishchenko2012-03-092-10/+10
| | | | ...Ci/Co.
* 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
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* 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