about summary refs log tree commit diff homepage
path: root/Makefile.common
AgeCommit message (Expand)Author
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-25 05:28:10 +0000