summaryrefslogtreecommitdiffstats
path: root/src/aig/ioa
Commit message (Collapse)AuthorAgeFilesLines
* 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