about summary refs log tree commit diff homepage
path: root/autoconf/configure.ac
AgeCommit message (Expand)Author
2015-04-08Fix very annoying issue where KLEE's configure would completlyDan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-11-01configure: allow stp being installed in /Jiri Slaby
2014-09-14Provide --enable-cxx11 configure option to enable building with C++11.Dan Liew
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12[tests] Fix Concrete tests for out-of-tree builds.Daniel Dunbar
2014-09-12Add support for getting memory usage on Darwin.Daniel Dunbar
2014-09-12Do not require mallinfo(), which is Linux specific.Daniel Dunbar
2014-09-12Do not require <sys/capability.h>, which is Linux specific.Daniel Dunbar
2014-04-24Have configure check for presense of mallinfo for the newly addedDan Liew
2014-01-25Upstream STP's libstp now depends on boost. This commit updatesDan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-12-19Re-add support for running individual tests when built with LLVM3.3Dan Liew
2013-12-19Allow different build modes for LLVM coexistMartin Nowack
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-11-08Fix the detection of the LLVM bitcode compiler. This is now done at KLEEDan Liew
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-10-03Extending ./configure with support to use metaSMT.Hristina Palikareva
2013-08-28Modified the buildmode of bitcode libraries.Dan Liew
2013-08-15Add support for dejagnu as removed from LLVM 3.2Martin Nowack
2013-08-13Updated configure.ac to use python3 compatible command.Dan Liew
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-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-05-18Use local Makefile.rulesPeter Collingbourne
2010-10-04Fix the Release+Asserts build-type-overwrite logic,Dylan Noblesmith
2010-09-30Tweak configure to deal with another LLVM "Release -> Release+Asserts" rename onDaniel Dunbar
2010-08-05Add support for Debug+Asserts configurationPeter Collingbourne
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
2009-10-24Update configure logic to detect LLVM version (for use in config.h).Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 21:42:49 +0000