Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -2/+2 |
* | Various changes to enable better CNF generation. | Alan Mishchenko | 2014-06-17 | 1 | -0/+22 |
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 2 | -2/+2 |
* | Changes in specialized matching. | Alan Mishchenko | 2013-10-02 | 1 | -2/+2 |
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 |
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+2 |
* | Extending 'permute' to handle user-specified flop permutation. | Alan Mishchenko | 2013-08-16 | 1 | -2/+2 |
* | Enabling LUT decomposition in two special cases. | Alan Mishchenko | 2013-08-14 | 1 | -3/+3 |
* | Enabling LUT decomposition in two special cases. | Alan Mishchenko | 2013-08-14 | 1 | -2/+2 |
* | Restructuring gate-sizing code trying to separate timing analysis. | Alan Mishchenko | 2013-07-21 | 1 | -1/+2 |
* | New technology mapper. | Alan Mishchenko | 2013-07-21 | 5 | -20/+22 |
* | Improvements to the SCL package. | Alan Mishchenko | 2013-07-20 | 1 | -1/+1 |
* | Temprary changes. | Alan Mishchenko | 2013-07-18 | 1 | -1/+50 |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 1 | -1/+1 |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 3 | -53/+32 |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 4 | -82/+41 |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 3 | -46/+93 |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 5 | -24/+46 |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 1 | -1/+1 |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 1 | -1/+1 |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 8 | -25/+356 |
* | New technology mapper. | Alan Mishchenko | 2013-07-15 | 6 | -19/+15 |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 3 | -4/+10 |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 6 | -216/+225 |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 9 | -694/+934 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 9 | -106/+1086 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 7 | -9/+79 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -1/+1 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 4 | -66/+71 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -0/+1 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -2/+2 |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 6 | -235/+277 |
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 7 | -134/+295 |
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 1 | -8/+7 |
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 14 | -0/+3370 |