about summary refs log tree commit diff homepage
path: root/Makefile.config.in
AgeCommit message (Expand)Author
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-02-27Add support for tcmallocMartin Nowack
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
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-04-25Remove some dead makefile variables left over from the old testingDan Liew
2015-04-25Remove dead STP logging code.Dan Liew
2015-04-09Try to fix using the compiler KLEE's configure script detected again!Dan Liew
2015-04-08Fix very annoying issue where KLEE's configure would completlyDan 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-01-25Upstream STP's libstp now depends on boost. This commit updatesDan 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-11-08Fix the detection of the LLVM bitcode compiler. This is now done at KLEEDan Liew
2013-10-11Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3Cristian Cadar
2013-10-03Extending ./configure with support to use metaSMT.Hristina Palikareva
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-28Modified the buildmode of bitcode libraries.Dan Liew
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-15Add support for dejagnu as removed from LLVM 3.2Martin Nowack
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: "fixed mistake in autoconf substitution variable name."Cristian Cadar
2011-05-18Use local Makefile.rulesPeter Collingbourne
2010-07-14Add option to use an external version of STPPeter Collingbourne
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-10 23:02:05 +0000