aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3
Commit message (Collapse)AuthorAgeFilesLines
* community/z3: upgrade to 4.8.5Sören Tempel2019-06-021-5/+5
|
* community/z3: rebuild against python 3.7Natanael Copa2019-04-171-1/+1
|
* community/z3: upgrade to 4.8.4Sören Tempel2018-12-263-31/+4
| | | | | | | | | | Both patches should no longer be needed: immintrin-i386-only.patch: has been applied upstream [0]. fix-ppc64le-ptr-size.patch: checks for __LP64__ now [1] which covers our cases. [0]: https://github.com/Z3Prover/z3/commit/a3ece29628501b405cb065f535ab0a003672fec0 [1]: https://github.com/Z3Prover/z3/commit/51a947b73d9d597029c30c62fe8d59d013a48f3c
* community/z3: immintrin.h only available on i386Carlo Landmeter2018-11-302-3/+3
|
* community/z3: fix ppc64le build break to skip use of immintrin.hMike Sullivan2018-11-272-1/+15
|
* community/z3: upgrade to 4.8.3Sören Tempel2018-11-221-3/+3
|
* community/z3: fix ppc64le by setting proper ptr widthMike Sullivan2018-08-032-4/+17
|
* community/z3: move from testingSören Tempel2018-06-271-0/+56