| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding delay optimization to synthesis script &syn2. | Alan Mishchenko | 2014-08-08 | 1 | -1/+1 |
| * | Adding more features to the synthesis script &syn2. | Alan Mishchenko | 2014-06-14 | 1 | -1/+1 |
| * | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-05 | 1 | -2/+14 |
| * | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -3/+3 |
| * | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+31 |
| * | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -0/+2 |
| * | Multi-output property solver. | Alan Mishchenko | 2013-10-27 | 1 | -5/+6 |
| * | Multi-output property solver. | Alan Mishchenko | 2013-10-26 | 1 | -21/+31 |
| * | Multi-output property solver. | Alan Mishchenko | 2013-10-26 | 1 | -15/+52 |
| * | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -0/+204 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |