| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-08 | Assume C compiler's default standard is `-std=gnu17` | Martin Nowack | |
| Newer compilers use `-std=gnu17` as the default when compiling C code. Fix all the test cases that violate this behaviour or explicitly request older standards `-std=c89` where necessary. | |||
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before ↵ | Cristian Cadar | |
| executing the program. | |||
| 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> | |||
| 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. | |||
| 2017-08-10 | Added a basic test for klee-replay | Cristian Cadar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |