index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.common
Age
Commit message (
Expand
)
Author
2014-09-14
Provide --enable-cxx11 configure option to enable building with C++11.
Dan Liew
2013-12-21
klee-uclibc detection is now a lot cleaner. KLEE now assumes
Dan Liew
2013-12-21
The location of KLEE's runtime libraries (apart from klee-uclibc)
Dan Liew
2013-12-21
Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"
Dan Liew
2013-10-11
MetaSMT builder, solver and command-line options.
Hristina Palikareva
2013-08-28
Modified the buildmode of bitcode libraries.
Dan Liew
2012-07-31
Patch by Dan Liew that removes our internal copy of STP, and makes the --with...
Cristian Cadar
2012-01-25
Patch from Ben Gras which "makes Klee look for the libraries in the
Cristian Cadar
2011-05-18
Use local Makefile.rules
Peter Collingbourne
2010-10-25
Compile all C files in gnu89 mode. Needed to build runtime library
Peter Collingbourne
2010-07-14
Add option to use an external version of STP
Peter Collingbourne
2010-04-05
Fix some final objdir != src problems.
Daniel Dunbar
2010-04-05
STP: Switch build to using LLVM style Makefiles.
Daniel Dunbar
2010-03-14
Update for 2.7.
Daniel Dunbar
2009-05-22
Look for Makefile.rules in the right directory.
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar