| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-31 | klee-libc: add bcmp | Julian Büning | |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning | |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack | |
| Link intrinsic library before executing optimizations. This makes sure that any optimization run by KLEE on the module is executed for the intrinsic library as well. Support .ll files as input for KLEE as well. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |