summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAiger.c
Commit message (Expand)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-211-27/+27
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-2/+39
* g++ portability changes.Alan Mishchenko2011-12-061-18/+18
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-19/+139
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-1/+27
* 64-bit portability changes.Alan Mishchenko2011-09-171-9/+9
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-221-2/+7
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-3/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-6/+6
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-211-32/+31
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-201-3/+3
* Added support for constraints in AIGER (bug fix).Alan Mishchenko2011-07-201-0/+5
* Added support for constraints in AIGER.Alan Mishchenko2011-07-201-11/+96
* Fixed memory leak in the AIGER reader.Alan Mishchenko2011-07-131-0/+1
* 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 numb...Alan Mishchenko2011-04-171-3/+1
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...Alan Mishchenko2011-04-171-1/+299
* 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
* 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