about summary refs log tree commit diff homepage
path: root/include/klee/Config
AgeCommit message (Expand)Author
2023-06-05config.h: include FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-03-17Use bitcode library paths via config generation instead of `-D` flagsMartin Nowack
2022-06-30remove LLVM < 9Frank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04make include guard naming consistentJulian Büning
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use libutil...Gleb Popov
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-17Added libcxx flagLukas Wölfer
2019-03-05workaround for LLVM PR39177Julian Büning
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-10-08add support for klee-replay on OSXFrank Busse
2018-10-04config.h.cmin: remove obsolete cmakedefineJulian Büning
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-01-08[NFC] Remove unused config header template that was only used byDan Liew
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2016-11-30Remove support for reporting the approximate git tag.Dan Liew
2016-11-07[CMake] Report git revision information if available.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29configure: run AutoRegen.shJiri Slaby
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2016-02-27Add support for tcmallocMartin Nowack
2016-02-14Handle Z3 API change between 4.4.1 and the current master branchDan Liew
2016-02-10Teach the configure script to configure the build to use the Z3 SMTDan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2014-10-31Switch to using autoconf 2.69 this version is more commonly availableDan Liew
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12Regenerate configure.Daniel Dunbar
2014-09-12Regenerate configure with sanctioned autoconf version.Daniel Dunbar
2014-04-24Have configure check for presense of mallinfo for the newly addedDan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-10-03Extending ./configure with support to use metaSMT.Hristina Palikareva
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-07-26Patch by Dan Liew that adds support for building Doxygen out-of-source.Cristian Cadar
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2009-10-24Regenerate configure.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 09:51:17 +0000