| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-06 | [z3] bump version to 4.8.5 (#6803) | Nuno Lopes | |
| 2019-05-21 | [z3]Fix install files path and add tools. | JackBoosY | |
| 2019-03-08 | add Z3 package (#5564) | Nuno Lopes | |
| * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP | |||
 |
index : vcpkg | |
| Forked from https://github.com/microsoft/vcpkg | Oskari Timperi |
| aboutsummaryrefslogtreecommitdiff |