AgeCommit message (Expand)Author
2024-05-05Update to Version 3.1Niklas Krafczyk
2023-06-21Upgrading to version 3.0Niklas Krafczyk
2023-06-02Adding <cstdint> include where necessary on my systemNiklas Krafczyk
2023-03-22Fixing the LLVM version to 14 for nowNiklas Krafczyk
2022-09-22LLVM 14 now requiredNiklas Krafczyk
2022-09-22Adding patches for LLVM 14.0 and Z3 4.11Niklas Krafczyk
2022-04-04Klee v2.3Niklas Krafczyk
2021-01-13Fixed provided versionNiklas Krafczyk
2020-12-07Klee v2.2Niklas Krafczyk
2020-08-23Added missing build dependenciesNiklas Krafczyk
2020-08-21Fixing the googletest versionNiklas Krafczyk
2020-04-15Honoring the MAKEFLAGS in /etc/makepkg.conf nowNiklas Krafczyk
2020-04-15Added python-tabulate to checkdependsNiklas Krafczyk
2020-03-03Release v2.1Niklas Krafczyk
2019-12-08Fixed issues with llvm 9.0 and glibc 2.30Niklas Krafczyk
2019-03-27Added missing dependency for klee-uclibcNiklas Krafczyk
2019-03-25Using klee version 2.0Niklas Krafczyk
2018-08-13Now using upstream llvm_60 branchNiklas Krafczyk
2018-08-08Updated patch and fixed reference to commitNiklas Krafczyk
2018-03-22Added clang to the make dependenciesNiklas Krafczyk
2018-03-20Prepared build for LLVM 6.0Niklas Krafczyk
2018-03-06Fixed libraries installing to /usr/lib64Niklas Krafczyk
2018-03-06Initial commitNiklas Krafczyk