| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update setup & tests | Fabrice Desclaux | 2025-01-26 | 1 | -1/+1 |
| * | Use llvmlite package | Fabrice Desclaux | 2023-04-05 | 1 | -1/+1 |
| * | Compatibility of our tests with unittest | Ivan “CLOVIS” Canet | 2022-03-24 | 1 | -0/+1 |
| * | Add Appveyor for Python3.8 | Jean-Baptiste Galet | 2020-04-28 | 1 | -1/+1 |
| * | Updt z3 version; update z3 api | Fabrice Desclaux | 2020-03-18 | 1 | -1/+1 |
| * | Move "llvmlite" to optional requirements | Ajax | 2019-05-09 | 1 | -0/+1 |
| * | pin z3 to specific version | Stephen | 2019-01-10 | 1 | -1/+1 |
| * | cleanup travis.yml | Stephen | 2019-01-10 | 1 | -0/+2 |