summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-023-11/+12
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-026-14/+78
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-022-22/+27
* Bug fixes in the library processing,.Alan Mishchenko2013-10-025-22/+55
* Computing AIG using DSD instead of factored forms in &fx.Alan Mishchenko2013-10-021-21/+56
* Changing default values.Alan Mishchenko2013-10-026-25/+33
* Changes in specialized matching.Alan Mishchenko2013-10-021-4/+0
* Changes in specialized matching.Alan Mishchenko2013-10-024-4/+8
* Changes in specialized matching.Alan Mishchenko2013-10-011-3/+3
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-011-12/+57
* Changes in specialized matching.Alan Mishchenko2013-10-013-7/+18
* Changes in specialized matching.Alan Mishchenko2013-10-011-19/+27
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-305-12/+76
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-2/+5
* Producing AIG after structural mapping.Alan Mishchenko2013-09-302-6/+8
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-6/+5
* Producing AIG after structural mapping.Alan Mishchenko2013-09-305-25/+40
* Changing default values.Alan Mishchenko2013-09-301-7/+8
* Changing default values.Alan Mishchenko2013-09-302-6/+57
* Changing default values.Alan Mishchenko2013-09-301-1/+1
* Changing default values.Alan Mishchenko2013-09-304-8/+109
* Changing default values.Alan Mishchenko2013-09-303-21/+37
* Changing default values.Alan Mishchenko2013-09-302-15/+22
* Improvements to truth table computation.Alan Mishchenko2013-09-302-59/+74
* New logic sharing extraction.Alan Mishchenko2013-09-298-72/+578
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
* Changing default values.Alan Mishchenko2013-09-293-3/+17
* Changing default values.Alan Mishchenko2013-09-291-1/+1
* Changing default values.Alan Mishchenko2013-09-291-1/+1
* Changing default values.Alan Mishchenko2013-09-282-4/+10
* Changing default values.Alan Mishchenko2013-09-284-29/+29
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-286-17/+25
* New logic sharing extraction.Alan Mishchenko2013-09-284-72/+110
* New logic sharing extraction.Alan Mishchenko2013-09-286-76/+622
* Checking decomposability of 5-input functions.Alan Mishchenko2013-09-281-1/+157
* Performance balancing command &b.Alan Mishchenko2013-09-278-17/+430
* Performance improvements in GIA package.Alan Mishchenko2013-09-274-10/+43
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-272-1/+2
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-277-6/+319
* Bug fix.Alan Mishchenko2013-09-271-1/+1
* Code to test AIG generation for DSD structures.Alan Mishchenko2013-09-271-0/+31
* Changed printf to Abc_Print in giaMan.cNiklas Een2013-09-271-44/+43
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
* New logic sharing extraction.Alan Mishchenko2013-09-263-276/+652
* 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
* Compiler warnings.Alan Mishchenko2013-09-251-2/+2
* Compiler warnings.Alan Mishchenko2013-09-251-2/+10