summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaAiger.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-11/+11
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-1/+1
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-3/+2
* Adding an option to write new-line after the comment symbol when dumping an A...Alan Mishchenko2018-11-201-2/+7
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-9/+10
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-1/+1
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-12/+12
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-2/+7
* Supporting edge information during mapping.Alan Mishchenko2016-04-061-0/+28
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+23
* Temp change in the AIG reader and minor tuning.Alan Mishchenko2015-07-091-2/+2
* Temp change in the AIG reader and minor tuning.Alan Mishchenko2015-07-081-1/+2
* Changing the way extension 'b' is written.Alan Mishchenko2015-05-251-3/+7
* Compiler warnings.Alan Mishchenko2015-03-081-1/+1
* Compiler warnings.Alan Mishchenko2015-03-081-1/+1
* Support for representing programmable cell configuration data.Alan Mishchenko2015-03-081-0/+24
* Bug fix in reader/writer of 'r' section.Alan Mishchenko2015-03-051-2/+5
* Integrating barrier buffers.Alan Mishchenko2014-12-081-2/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-6/+9
* Fix in reading flop classes.Alan Mishchenko2014-11-211-8/+23
* Fix in reading flop classes.Alan Mishchenko2014-11-211-6/+8
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-4/+2
* 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