summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaJf.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-1/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-111/+288
* Improvements to the &ps.Alan Mishchenko2013-09-081-1/+3
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+3
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-4/+59
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+48
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-9/+13
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+754
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 07:09:49 +0000