summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAiger.c
Commit message (Collapse)AuthorAgeFilesLines
* Commented out debug messages.Alan Mishchenko2011-04-261-1/+1
|
* Added support for AIG returned in the output file.Alan Mishchenko2011-04-241-1/+2
|
* Fixing c++ portability issues.Alan Mishchenko2011-04-201-6/+6
|
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵Alan Mishchenko2011-04-171-3/+1
| | | | numbers (bug fix).
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵Alan Mishchenko2011-04-171-1/+299
| | | | numbers.
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+2
|
* Added writing signal names in AIGER writer for GIA package.Alan Mishchenko2011-02-031-0/+16
|
* initial commit of public abcAlan Mishchenko2010-11-011-51/+48
|
* Version abc90804Alan Mishchenko2015-06-221-1/+1
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90410Alan Mishchenko2009-04-101-1/+1
|
* Version abc90408Alan Mishchenko2009-04-081-3/+3
|
* Version abc90329Alan Mishchenko2009-03-291-6/+134
|
* Version abc90313Alan Mishchenko2009-03-131-0/+1
|
* Version abc90310Alan Mishchenko2009-03-101-3/+306
|
* Version abc90215Alan Mishchenko2009-02-151-0/+553