about summary refs log tree commit diff homepage
path: root/autoconf/configure.ac
AgeCommit message (Expand)Author
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-22 21:48:52 +0000