| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby | |
| Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2017-03-01 | Updated test cases that check warning messages. | Cristian Cadar | |
| 2017-01-08 | tests: Added substitution for llvm-ar | Adrian Herrera | |
| Brings llvm-ar into line with llvm-as and lli, removing the assumption that llvm-ar is installed system wide | |||
| 2016-02-25 | Added support to load libraries from command line | Omer Anson | |
| This allows a user to invoke klee with specific libraries to load from command line. This is an attempt to allow klee to run on applications linked to external libraries. The libraries still have to be compiled specially for klee, in a manner similar to klee-uclibc, i.e. archives (build with llvm-ar) of llvm IR files. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |