Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Create network from solution in store. | Mathias Soeken | 2016-07-31 | 1 | -2/+104 | |
* | | Store for exact results. | Mathias Soeken | 2016-07-31 | 1 | -5/+150 | |
* | | Depth optimal synthesis. | Mathias Soeken | 2016-07-30 | 1 | -7/+18 | |
* | | Implementation of Abc_ExactDelayCost. | Mathias Soeken | 2016-07-30 | 1 | -2/+34 | |
* | | Extract delay information into solution. | Mathias Soeken | 2016-07-30 | 1 | -13/+59 | |
* | | Extract solution into intermediate format. | Mathias Soeken | 2016-07-30 | 1 | -173/+211 | |
|/ | ||||||
* | Infrastructure for using the results of exact SAT-based synthesis during mapp... | Alan Mishchenko | 2016-07-29 | 1 | -5/+7 | |
* | Infrastructure for using the results of exact SAT-based synthesis during mapp... | Alan Mishchenko | 2016-07-29 | 1 | -0/+30 | |
* | Several updates to exact synthesis. | Mathias Soeken | 2016-07-28 | 1 | -62/+395 | |
* | Extending command 'exact' to handle delay constraints. | Alan Mishchenko | 2016-07-23 | 1 | -35/+124 | |
* | Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact... | Alan Mishchenko | 2016-07-16 | 1 | -0/+589 |