| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-05-05 | Update to Version 3.1 | Niklas Krafczyk | |
| Sorry this took so long, was finishing my dissertation | |||
| 2023-06-21 | Upgrading to version 3.0 | Niklas Krafczyk | |
| 2023-06-02 | Adding <cstdint> include where necessary on my system | Niklas Krafczyk | |
| 2023-03-22 | Fixing the LLVM version to 14 for now | Niklas Krafczyk | |
| 2022-09-22 | LLVM 14 now required | Niklas Krafczyk | |
| 2022-09-22 | Adding patches for LLVM 14.0 and Z3 4.11 | Niklas Krafczyk | |
| 2022-04-04 | Klee v2.3 | Niklas Krafczyk | |
| 2021-01-13 | Fixed provided version | Niklas Krafczyk | |
| 2020-12-07 | Klee v2.2 | Niklas Krafczyk | |
| 2020-08-23 | Added missing build dependencies | Niklas Krafczyk | |
| 2020-08-21 | Fixing the googletest version | Niklas Krafczyk | |
| Thanks to r7v | |||
| 2020-04-15 | Honoring the MAKEFLAGS in /etc/makepkg.conf now | Niklas Krafczyk | |
| 2020-04-15 | Added python-tabulate to checkdepends | Niklas Krafczyk | |
| Thanks to AUR user `snowball` | |||
| 2020-03-03 | Release v2.1 | Niklas Krafczyk | |
| 2019-12-08 | Fixed issues with llvm 9.0 and glibc 2.30 | Niklas Krafczyk | |
| Fixed them by using the newest klee commit. They fixed it for me. | |||
| 2019-03-27 | Added missing dependency for klee-uclibc | Niklas Krafczyk | |
| 2019-03-25 | Using klee version 2.0 | Niklas Krafczyk | |
| 2018-08-13 | Now using upstream llvm_60 branch | Niklas Krafczyk | |
| 2018-08-08 | Updated patch and fixed reference to commit | Niklas Krafczyk | |
| Due to new commits on the source branch the package wouldn't build anymore as the patch would be rejected. Now, the patch is fixed for the new commits and the source is referenced by commit, not by branch. | |||
| 2018-03-22 | Added clang to the make dependencies | Niklas Krafczyk | |
| 2018-03-20 | Prepared build for LLVM 6.0 | Niklas Krafczyk | |
| 2018-03-06 | Fixed libraries installing to /usr/lib64 | Niklas Krafczyk | |
| 2018-03-06 | Initial commit | Niklas Krafczyk | |
| klee built with llvm-5.0.1-2 | |||