summaryrefslogtreecommitdiffstats
path: root/src/aig/ioa/ioaReadAig.c
Commit message (Expand)AuthorAgeFilesLines
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-8/+63
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+0
* initial commit of public abcAlan Mishchenko2010-11-011-9/+14
* Version abc90804Alan Mishchenko2015-06-221-19/+44
* Version abc90310Alan Mishchenko2009-03-101-0/+12
* Version abc90215Alan Mishchenko2009-02-151-3/+4
* Version abc80518Alan Mishchenko2008-05-181-25/+26
* Version abc80130_2Alan Mishchenko2008-01-301-0/+366
* Version abc80130Alan Mishchenko2008-01-301-366/+0
* Version abc80121Alan Mishchenko2008-01-211-54/+108
* Version abc71001Alan Mishchenko2007-10-011-0/+312
* Version abc70930Alan Mishchenko2007-09-301-312/+0
* Version abc70906Alan Mishchenko2007-09-061-0/+312