summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
...
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-302-5/+12
* 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-303-22/+37
* Changing default values.Alan Mishchenko2013-09-301-3/+4
* Changing default values.Alan Mishchenko2013-09-301-1/+1
* Changing default values.Alan Mishchenko2013-09-303-8/+92
* Changing default values.Alan Mishchenko2013-09-303-21/+37
* Changing default values.Alan Mishchenko2013-09-301-12/+14
* Improvements to truth table computation.Alan Mishchenko2013-09-302-59/+74
* New logic sharing extraction.Alan Mishchenko2013-09-296-55/+475
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
* Changing default values.Alan Mishchenko2013-09-291-2/+3
* 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-282-23/+23
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-281-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-283-69/+102
* New logic sharing extraction.Alan Mishchenko2013-09-285-65/+601
* Performance balancing command &b.Alan Mishchenko2013-09-276-16/+355
* Performance improvements in GIA package.Alan Mishchenko2013-09-273-10/+17
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-272-1/+82
* Changed printf to Abc_Print in giaMan.cNiklas Een2013-09-271-44/+43
* New logic sharing extraction.Alan Mishchenko2013-09-261-63/+399
* 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
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-5/+73
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-252-0/+166
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-252-0/+24
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-231-4/+72
* Adding API to return the mapped network.Alan Mishchenko2013-09-221-0/+4
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-0/+12
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-132-0/+51
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-1/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-12/+26
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-72/+119
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-38/+104
* 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-112-51/+46
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-5/+109
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+26
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-112-0/+49
* Added sorting equiv classes by the index of their representatives.Alan Mishchenko2013-09-101-0/+2