Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Supporting edges in delay-optimization in &satlut. | Alan Mishchenko | 2016-04-07 | 1 | -17/+44 |
* | Supporting edges in delay-optimization in &satlut. | Alan Mishchenko | 2016-04-07 | 1 | -11/+86 |
* | Supporting edges in delay-optimization in &satlut. | Alan Mishchenko | 2016-04-07 | 1 | -83/+92 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -106/+203 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -150/+249 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -18/+68 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-03 | 1 | -31/+230 |
* | Windowing for technology mapping. | Alan Mishchenko | 2016-03-30 | 1 | -79/+152 |
* | Adding support for a different bit-blasting of a multiplier and squarer. | Alan Mishchenko | 2016-02-13 | 1 | -0/+570 |