summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
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