| 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-09-21 | Merge pull request #17 from MartinNowack/LLVM33 | Cristian Cadar |
| 2013-08-28 | Link against shared library from LLVM correctly | Martin Nowack |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-15 | Use llvm-link instead of deprecated llvm-ld | Martin Nowack |
| 2013-08-15 | Warn if compiler is not found to build .ll files | Martin Nowack |
| 2011-05-18 | Use local Makefile.rules | Peter Collingbourne |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/Makefile.rules