Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 2 | -6/+57 | |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -1/+1 | |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 4 | -8/+109 | |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 3 | -21/+37 | |
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 2 | -15/+22 | |
* | Improvements to truth table computation. | Alan Mishchenko | 2013-09-30 | 2 | -59/+74 | |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 8 | -72/+578 | |
* | Updating logic extraction. | Alan Mishchenko | 2013-09-29 | 1 | -2/+3 | |
* | Updating logic extraction. | Alan Mishchenko | 2013-09-29 | 1 | -11/+58 | |
* | Changing default values. | Alan Mishchenko | 2013-09-29 | 3 | -3/+17 | |
* | Changing default values. | Alan Mishchenko | 2013-09-29 | 1 | -1/+1 | |
* | Changing default values. | Alan Mishchenko | 2013-09-29 | 1 | -1/+1 | |
* | Changing default values. | Alan Mishchenko | 2013-09-28 | 2 | -4/+10 | |
* | Changing default values. | Alan Mishchenko | 2013-09-28 | 4 | -29/+29 | |
* | Improving printouts in sharing extraction. | Alan Mishchenko | 2013-09-28 | 6 | -17/+25 | |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 4 | -72/+110 | |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 6 | -76/+622 | |
* | Checking decomposability of 5-input functions. | Alan Mishchenko | 2013-09-28 | 1 | -1/+157 | |
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 8 | -17/+430 | |
* | Performance improvements in GIA package. | Alan Mishchenko | 2013-09-27 | 4 | -10/+43 | |
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 2 | -1/+2 | |
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 7 | -6/+319 | |
* | Bug fix. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 | |
* | Code to test AIG generation for DSD structures. | Alan Mishchenko | 2013-09-27 | 1 | -0/+31 | |
* | Changed printf to Abc_Print in giaMan.c | Niklas Een | 2013-09-27 | 1 | -44/+43 | |
* | Fixed a bug in Bridge mode | Niklas Een | 2013-09-27 | 1 | -2/+15 | |
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-26 | 3 | -276/+652 | |
* | Updates to the mapper. | Alan Mishchenko | 2013-09-26 | 1 | -2/+12 | |
* | Updates to the mapper. | Alan Mishchenko | 2013-09-26 | 1 | -3/+7 | |
* | Extending the mapper to handle up to 2^24 functional classes. | Alan Mishchenko | 2013-09-25 | 1 | -8/+8 | |
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+2 | |
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+10 | |
* | Fixing the large MFFC problem. | Alan Mishchenko | 2013-09-25 | 1 | -8/+8 | |
* | Fixing the large MFFC problem. | Alan Mishchenko | 2013-09-25 | 1 | -7/+34 | |
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 2 | -9/+79 | |
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 5 | -6/+178 | |
* | Fixing printouts in 'bmc3'. | Alan Mishchenko | 2013-09-25 | 1 | -58/+58 | |
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 6 | -9/+179 | |
* | Changing switch -R <num> in &gla to mean the max allowed size of abstraction.... | Alan Mishchenko | 2013-09-23 | 3 | -12/+25 | |
* | Experiments with exact matching into LUT structures. | Alan Mishchenko | 2013-09-23 | 3 | -4/+121 | |
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 2 | -3/+8 | |
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 2 | -2/+160 | |
* | Adding resource limit to stop &gla when the number of remaining objects is le... | Alan Mishchenko | 2013-09-21 | 1 | -1/+1 | |
* | Adding resource limit to stop &gla when the number of remaining objects is le... | Alan Mishchenko | 2013-09-21 | 1 | -0/+8 | |
* | Buf fix in Liberty parser. | Alan Mishchenko | 2013-09-19 | 1 | -1/+1 | |
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 1 | -8/+5 | |
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 3 | -0/+14 | |
* | Integrating input driving cell constraint into buffering/sizing. | Alan Mishchenko | 2013-09-17 | 4 | -3/+26 | |
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 6 | -65/+91 | |
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 1 | -1/+1 |