summaryrefslogtreecommitdiff
path: root/user/z3
AgeCommit message (Expand)AuthorFilesLines
2022-06-12user/z3: Update to 4.8.17, switch to CMakeA. Wilcox1-7/+15
2020-07-07user/z3: Update to 4.8.8A. Wilcox2-30/+4
2020-06-16user/z3: fix build on 32-bit archesMax Rees2-3/+33
2020-02-26user/z3: Bump to 4.8.7A. Wilcox1-2/+2
2019-10-03user/z3: bump to 4.8.6A. Wilcox1-4/+4
2019-06-20user/z3: bump to 4.8.5A. Wilcox1-4/+4
2019-04-25user/z3: new packageA. Wilcox1-0/+40