about summary refs log tree commit diff homepage
path: root/Makefile.common
AgeCommit message (Expand)Author
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2015-12-02Removing -fstack-protector-strong for clang <= 3.4Mate Soos
2015-08-05Enabling assertions by default for KLEE. While the instructions for 2.9 expl...Cristian Cadar
2015-04-25Rename macroDan Liew
2015-04-25Change install location of KLEE's bytecode runtime librariesDan Liew
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2015-04-09Try to fix using the compiler KLEE's configure script detected again!Dan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan 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
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-12-21The location of KLEE's runtime libraries (apart from klee-uclibc)Dan Liew
2013-12-21Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"Dan Liew
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-08-28Modified the buildmode of bitcode libraries.Dan Liew
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-01-25Patch from Ben Gras which "makes Klee look for the libraries in theCristian Cadar
2011-05-18Use local Makefile.rulesPeter Collingbourne
2010-10-25Compile all C files in gnu89 mode. Needed to build runtime libraryPeter 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
2010-03-14Update for 2.7.Daniel Dunbar
2009-05-22Look for Makefile.rules in the right directory.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 12:13:37 +0000