about summary refs log tree commit diff homepage
path: root/autoconf/configure.ac
AgeCommit message (Expand)Author
2016-12-28Fix two issues with AC_LINK_IFELSE for metaSMT:Hoang M. Le
2016-11-30Increasing version to 1.3.0Cristian Cadar
2016-09-29configure: add option to enable timestampingJiri Slaby
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-06-10rename the configure option --with-metasmt-default-solver to --with-metasmt-d...Hoang M. Le
2016-06-10add --with-metasmt-default-solver option to configureHoang M. Le
2016-06-10metaSMT does not require RTTIHoang M. Le
2016-03-31Moving to version 1.2.0Cristian Cadar
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-14Output a message reporting if the MetaSMT backend is enabled whenDan Liew
2016-01-14Fix behaviour of --with-metasmt when passed a path that doesn't exist.Dan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2015-11-13Moving to version 1.1.0Cristian Cadar
2015-08-10Changed version to 1.0.0 v1.0.0 1.0.xCristian Cadar
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-10 21:54:17 +0000