summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaJf.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating barrier buffers.Alan Mishchenko2014-12-111-13/+14
* Integrating barrier buffers.Alan Mishchenko2014-12-081-13/+13
* Improvements to CNF generation.Alan Mishchenko2014-06-231-3/+10
* Experiments with CNF generation.Alan Mishchenko2014-06-181-1/+4
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-2/+2
* Improvements to technology mapping.Alan Mishchenko2014-04-021-1/+1
* Improving cut computation.Alan Mishchenko2014-03-301-0/+2
* Changes to LUT mappers.Alan Mishchenko2014-02-191-23/+2
* New command &write_cnf.Alan Mishchenko2013-12-181-2/+28
* Specialized induction check.Alan Mishchenko2013-10-311-3/+7
* New BMC engine.Alan Mishchenko2013-10-271-2/+2
* New BMC engine.Alan Mishchenko2013-10-271-15/+17
* New BMC engine.Alan Mishchenko2013-10-271-3/+45
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-26/+39
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-10/+12
* CNF generating using new mapper.Alan Mishchenko2013-10-101-1/+112
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-301-1/+1
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-2/+5
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-1/+4
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-19/+34
* Changing default values.Alan Mishchenko2013-09-291-1/+1
* Changing default values.Alan Mishchenko2013-09-291-1/+1
* Changing default values.Alan Mishchenko2013-09-281-1/+1
* Changing default values.Alan Mishchenko2013-09-281-22/+22
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-0/+1
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-1/+81
* Updates to the mapper.Alan Mishchenko2013-09-261-2/+12
* Updates to the mapper.Alan Mishchenko2013-09-261-3/+7
* Extending the mapper to handle up to 2^24 functional classes.Alan Mishchenko2013-09-251-8/+8
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-8/+8
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-7/+34
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-131-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-1/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-12/+25
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-69/+113
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-38/+103
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+5
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-19/+32
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+17
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+44
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-5/+109
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+26
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-41/+102
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+102
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+25
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-8/+31
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-2/+3
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-38/+67
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-4/+4
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 08:14:28 +0000