summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* 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
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* Moved the code to a different file.Alan Mishchenko2013-10-061-197/+1
* Resubstitution code.Alan Mishchenko2013-10-062-0/+293
* Towards better Boolean matching.Alan Mishchenko2013-10-053-7/+13
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-7/+8
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-032-62/+133
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-9/+48
* Experiment with the AIG package.Alan Mishchenko2013-10-032-0/+239
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-0/+54
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-032-7/+7
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+6
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+1
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-7/+47
* Computing AIG using DSD instead of factored forms in &fx.Alan Mishchenko2013-10-021-21/+56
* Changing default values.Alan Mishchenko2013-10-021-2/+2
* Changes in specialized matching.Alan Mishchenko2013-10-021-4/+0
* Changes in specialized matching.Alan Mishchenko2013-10-022-1/+5
* Changes in specialized matching.Alan Mishchenko2013-10-011-3/+3
* 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