| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/z3: upgrade to 4.7.1 | Sören Tempel | 2018-06-04 | 1 | -3/+3 |
| | | |||||
| * | testing/z3: disable on aarch64 | Roberto Oliveira | 2018-06-01 | 1 | -1/+1 |
| | | | | | test suite also segfaults on aarch64 | ||||
| * | testing/z3: disable on ppc64le | Natanael Copa | 2018-06-01 | 1 | -1/+1 |
| | | | | | tests fails | ||||
| * | testing/z3: disable on s390x | Natanael Copa | 2018-06-01 | 1 | -1/+1 |
| | | | | | test suite segfaults | ||||
| * | testing/z3: claim maintainership | Sören Tempel | 2018-05-30 | 1 | -2/+2 |
| | | |||||
| * | testing/z3: add check | Sören Tempel | 2018-05-30 | 1 | -0/+8 |
| | | |||||
| * | testing/z3: add python3 bindings | Sören Tempel | 2018-05-30 | 1 | -3/+15 |
| | | | | | | | I didn't manage to figure out yet how to easily build both the python2 and python3 binding. If anybody is interested in python2 support pull requests adding it are very welcome ;) | ||||
| * | testing/z3: switch to the CMake buildsystem | Sören Tempel | 2018-05-30 | 1 | -9/+12 |
| | | |||||
| * | testing/z3: new aport | Sören Tempel | 2018-05-30 | 1 | -0/+33 |
 |
index : kunkku/aports | |
| kunkku's aports repo | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |