| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-22 | [z3] Update to 4.8.6 (#8899) | JackBoosY |
| 2019-06-20 | [many ports] improvements for linux/wsl (#6730) | Stefano Sinigardi |
| 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 |
 |
index : vcpkg | |
| Forked from https://github.com/microsoft/vcpkg | Oskari Timperi |
| aboutsummaryrefslogtreecommitdiff |