| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-05 | config.h: include FSTATAT_PATH_ACCEPTS_NULL | Julian Büning | |
| This variable was introduced by d2f5906da4ae37a41ae257e5308d50e19689877b but not included in `config.h` before. As a result `#ifdef` would always fail. Moving the code is necessary to set the variable before `config.h` is created using `configure_file()` in CMakeLists.txt. | |||
| 2022-07-07 | POSIX runtime: fstatat: check for nonnull path APIs | Frank Busse | |
| 2020-11-04 | [cmake] Add support to generate arbitrary runtime library configurations | Martin Nowack | |
| Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |