| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 1 | -1/+2 |
| * | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 1 | -0/+32 |
| * | Improvements to the hierarchy/timing manager. | Alan Mishchenko | 2013-03-05 | 1 | -0/+17 |
| * | Integrating hierarchy information (reporting incorrect topological order). | Alan Mishchenko | 2013-02-20 | 1 | -0/+23 |
| * | Testing GIA with time manager. | Alan Mishchenko | 2012-09-23 | 1 | -13/+58 |
| * | Integrating time manager into choice computation. | Alan Mishchenko | 2012-09-22 | 1 | -1/+5 |
| * | Upgrading hierarchy timing manager. | Alan Mishchenko | 2012-09-21 | 1 | -0/+204 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |