| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-11-08 | Fix the detection of the LLVM bitcode compiler. This is now done at KLEE | Dan Liew |
| 2013-10-11 | Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3 | Cristian Cadar |
| 2013-10-03 | Extending ./configure with support to use metaSMT. | Hristina Palikareva |
| 2013-09-21 | Merge pull request #17 from MartinNowack/LLVM33 | Cristian Cadar |
| 2013-08-28 | Modified the buildmode of bitcode libraries. | Dan Liew |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-15 | Add support for dejagnu as removed from LLVM 3.2 | Martin Nowack |
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the --with... | Cristian Cadar |
| 2012-07-26 | Patch by Dan Liew: "fixed mistake in autoconf substitution variable name." | Cristian Cadar |
| 2011-05-18 | Use local Makefile.rules | Peter Collingbourne |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/Makefile.config.in