about summary refs log tree commit diff homepage
path: root/Makefile.config.in
AgeCommit message (Expand)Author
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-25 03:00:56 +0000