summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAiger.c
Commit message (Expand)AuthorAgeFilesLines
* Adding out-of-bounds checks to AIGER readers.Alan Mishchenko2014-09-281-1/+1
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+1
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+3
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-1/+1
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-4/+5
* Improvements to representation of choices.Alan Mishchenko2014-07-011-2/+2
* Temporarily (?) undoing previous change because it is incompatible with old A...Alan Mishchenko2013-09-051-3/+4
* Improved unrolling manager.Alan Mishchenko2013-09-051-2/+2
* Adding new line (\n) after 'c' at the beginning of the comment section in AIG...Alan Mishchenko2013-08-291-1/+4
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-9/+6
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-0/+1
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-7/+2
* Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.Alan Mishchenko2013-05-131-1/+1
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-2/+1
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-181-0/+1
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-171-7/+45
* Fixing the format mismatch in writing mapped GIA.Alan Mishchenko2013-04-021-5/+9
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-11/+12
* Integrating sweeping information.Alan Mishchenko2013-02-231-5/+8
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+16
* Integrating sweeping information.Alan Mishchenko2013-02-201-12/+0
* Integrating packing information.Alan Mishchenko2013-02-171-2/+4
* Integration of timing manager.Alan Mishchenko2013-02-061-0/+38
* Integration of timing manager.Alan Mishchenko2013-02-031-6/+12
* Integration of timing manager.Alan Mishchenko2013-02-011-4/+5
* Added a fix for the writing an AIG that is not normalized.Alan Mishchenko2013-01-301-1/+1
* Integration of timing manager.Alan Mishchenko2013-01-231-8/+36
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-9/+9
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-151-16/+33
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-1/+16
* Unifification of custom extensions.Alan Mishchenko2012-12-131-1/+1
* Unifification of custom extensions.Alan Mishchenko2012-12-131-3/+3
* Unifification of custom extensions.Alan Mishchenko2012-12-131-14/+14
* Unifification of custom extensions.Alan Mishchenko2012-12-101-1059/+427
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-2/+7
* Extending the default GIA writing buffer.Alan Mishchenko2012-10-091-1/+1
* Bug fix in reading AIGER with both signal names and extensions.Alan Mishchenko2012-10-081-79/+79
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Minor bug fixes.Alan Mishchenko2012-10-031-3/+8
* Testing GIA with time manager.Alan Mishchenko2012-09-231-1/+1
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-221-2/+7
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-211-1/+31
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+3
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-2/+2
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-7/+11
* Added warning for GIA reader when input AIG has dangling nodes.Alan Mishchenko2012-07-071-10/+3
* Isomorphism checking code.Alan Mishchenko2012-02-201-6/+49
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-3/+3