| Commit message (Expand) | Author | Age | Files | Lines |
* | Significant improvement to LUT mappers (if, &if). | Alan Mishchenko | 2014-02-16 | 9 | -753/+201 |
* | Handling latches in combinational sizing. | Alan Mishchenko | 2014-02-13 | 1 | -3/+4 |
* | Fixing assertion failure when all POs have constant functions. | Alan Mishchenko | 2014-02-06 | 2 | -1/+4 |
* | Fixing Liberty parser to handle 'scalar' delay/slew tables. | Alan Mishchenko | 2014-02-06 | 3 | -0/+33 |
* | Handling C++-style comments in Liberty parser. | Alan Mishchenko | 2014-01-28 | 1 | -0/+26 |
* | Commeting out an assertion in sizing. | Alan Mishchenko | 2013-11-27 | 1 | -1/+1 |
* | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 1 | -2/+2 |
* | Explanation for one assetion. | Alan Mishchenko | 2013-11-26 | 1 | -1/+1 |
* | Bug fix in timing update. | Alan Mishchenko | 2013-11-26 | 1 | -1/+1 |
* | Bug fix in technology mapper. | Alan Mishchenko | 2013-11-24 | 1 | -4/+13 |
* | Bug fix in liberty parser. | Alan Mishchenko | 2013-11-23 | 1 | -2/+4 |
* | Several changes to allow Liberty files without delay info. | Alan Mishchenko | 2013-11-21 | 4 | -17/+65 |
* | Fixing several simple bugs in library handling. | Alan Mishchenko | 2013-11-21 | 3 | -1/+3 |
* | Structural mapper into structures. | Alan Mishchenko | 2013-11-12 | 1 | -0/+1 |
* | Improvements to the standard cell flow. | Alan Mishchenko | 2013-11-08 | 3 | -13/+9 |
* | Organizing the timing report functions. | Alan Mishchenko | 2013-11-07 | 2 | -23/+22 |
* | Fixing the wire-load approximation problem. | Alan Mishchenko | 2013-11-07 | 6 | -64/+76 |
* | Improving critical path print-out. | Alan Mishchenko | 2013-10-31 | 1 | -6/+47 |
* | Changes to Liberty parser. | Alan Mishchenko | 2013-10-30 | 1 | -54/+132 |
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 2 | -2/+2 |
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 3 | -6/+6 |
* | Changes to Liberty parser. | Alan Mishchenko | 2013-10-30 | 1 | -2/+169 |
* | Bug fix in gate-sizing. | Alan Mishchenko | 2013-10-16 | 1 | -1/+5 |
* | Improvements to buffering and sizing. | Alan Mishchenko | 2013-10-13 | 8 | -33/+68 |
* | Cleaning up buffering code. | Alan Mishchenko | 2013-10-13 | 5 | -322/+107 |
* | Normalization of slew/load values. | Alan Mishchenko | 2013-10-13 | 8 | -112/+36 |
* | Normalization of slew/load values. | Alan Mishchenko | 2013-10-13 | 8 | -17/+95 |
* | Improvements to buffering and sizing. | Alan Mishchenko | 2013-10-12 | 3 | -50/+59 |
* | Extending truth table support in &jf for more than 6 inputs. | Alan Mishchenko | 2013-10-10 | 1 | -1/+1 |
* | Preventing a bug in &if -z. | Alan Mishchenko | 2013-10-09 | 1 | -1/+1 |
* | Compiler warning. | Alan Mishchenko | 2013-10-05 | 1 | -2/+2 |
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -2/+2 |
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -46/+250 |
* | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 2 | -5/+4 |
* | Bug fixes in the library processing,. | Alan Mishchenko | 2013-10-02 | 5 | -22/+55 |
* | Changing default values. | Alan Mishchenko | 2013-10-02 | 2 | -3/+3 |
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-02 | 1 | -2/+2 |
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-01 | 2 | -5/+4 |
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-01 | 1 | -19/+27 |
* | Checking decomposability of 5-input functions. | Alan Mishchenko | 2013-09-28 | 1 | -1/+157 |
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 |
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+2 |
* | Experiments with exact matching into LUT structures. | Alan Mishchenko | 2013-09-23 | 2 | -0/+49 |
* | Buf fix in Liberty parser. | Alan Mishchenko | 2013-09-19 | 1 | -1/+1 |
* | 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 | 4 | -64/+88 |
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 1 | -1/+1 |
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 6 | -22/+62 |
* | Adding commands to set and print timing constraints. | Alan Mishchenko | 2013-09-17 | 5 | -38/+203 |
* | Unifying standard cell library representations. | Alan Mishchenko | 2013-09-17 | 9 | -101/+299 |