| Age | Commit message (Expand) | Author |
|---|
| 2024-02-08 | Use `std::` namespace for `uint64_t` | MartinNowack |
| 2024-02-08 | Enable CI to test newer LLVM versions | Martin Nowack |
| 2024-02-08 | Support newer LLVM versions in `lit` | Martin Nowack |
| 2024-02-08 | Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem` | Martin Nowack |
| 2024-02-08 | Handle check for thrown libc++ exceptions more general | Martin Nowack |
| 2024-02-08 | Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions. | Martin Nowack |
| 2024-02-08 | Disable unsupported passes for newer LLVM versions | Martin Nowack |
| 2024-02-08 | Add support to `aligned_alloc` generated by LLVM | Martin Nowack |
| 2024-02-08 | Add support for `Intrinsic::get_rounding` for LLVM 16 | Martin Nowack |
| 2024-02-08 | Use APIs of newer LLVM versions instead of unsupported ones | Martin Nowack |
| 2024-02-08 | Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT` | Martin Nowack |
| 2024-02-08 | Fix test cases to support opaque pointers | Martin Nowack |
| 2024-02-08 | Add support for opaque pointers | Martin Nowack |
| 2024-02-08 | Explicitly enable opaque pointer support for LLVM 15 | Martin Nowack |
| 2024-02-08 | Explicitly build KLEE's exception handling runtime with C++11 | Martin Nowack |
| 2024-02-08 | Assume C compiler's default standard is `-std=gnu17` | Martin Nowack |
| 2024-02-08 | Use KLEE's uClibc v1.4 as default to support the compilation with newer compi... | Martin Nowack |
| 2024-02-08 | Refactor invocation of old pass manager into legacy function | Martin Nowack |
| 2024-02-08 | Fix `klee_eh_cxx.cpp` compiler error | Martin Nowack |
| 2024-02-08 | Fix `klee-libc/memchr.c` compiler warning | Martin Nowack |
| 2024-02-08 | Replace `%libcxx_include` with `%libcxx_includes` for multi-include directories | Martin Nowack |
| 2024-02-08 | Add support for newer `libc++`; Simplify path detection | Martin Nowack |
| 2024-02-08 | MERGE libc++ build system | Martin Nowack |
| 2024-02-08 | Add support to build newer LLVM versions | Martin Nowack |
| 2024-01-30 | Change `GetConstraintLog` to work with `std::string`s instead of `char*`s | Daniel Schemmel |
| 2024-01-30 | Avoid generating array names in solver builders that could accidently collide | Martin Nowack |
| 2024-01-30 | Modify getValueFromSeeds() to include more functionality and simplify its cal... | Cristian Cadar |
| 2024-01-30 | Make Assignment::evaluate be const | Cristian Cadar |
| 2024-01-30 | Add checks to the seed concretization tests about the expected number of queries | Cristian Cadar |
| 2024-01-30 | Added a test for --allow-seed-extension | Cristian Cadar |
| 2024-01-30 | Removed --zero-seed-extension, and merge it with --allow-seed-extension. This... | Cristian Cadar |
| 2024-01-30 | Refactored some code related to seeding. | Cristian Cadar |
| 2024-01-30 | On a symbolic allocation, retrieve size from a seed, if available | Cristian Cadar |
| 2024-01-30 | Concretize arguments to external function calls using seeds, if available. A... | Cristian Cadar |
| 2024-01-30 | Concretize constants using seed values, when available. Added two tests (w/ ... | Cristian Cadar |
| 2024-01-30 | Switch to FreeBSD 14 and 13.2; Use LLVM 13 | Martin Nowack |
| 2024-01-12 | Remove check for the number of solver queries | Tomasz Kuchta |
| 2024-01-12 | Make test more deterministic | Tomasz Kuchta |
| 2024-01-12 | Follow-up: applied review comments, implemented meta-data cleanup (one more m... | Tomasz Kuchta |
| 2024-01-12 | Feature: implement single memory object resolution for symbolic addresses. | Tomasz Kuchta |
| 2024-01-12 | Renamed PTree to ExecutionTree (and similar) | Cristian Cadar |
| 2024-01-12 | Rename files from PTree to ExecutionTree (and similar) | Cristian Cadar |
| 2024-01-12 | SearcherTest: remove redundant root init, fix branch type | Frank Busse |
| 2024-01-12 | new: persistent ptree (-write-ptree) and klee-ptree | Frank Busse |
| 2023-10-23 | replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_sta... | Daniel Schemmel |
| 2023-09-11 | Make KDAlloc the default memory allocator | Cristian Cadar |
| 2023-09-11 | Changed use-after-free and double-free tests to expect KDAlloc, plus some sma... | Cristian Cadar |
| 2023-09-07 | Remove broken experimental optimisation for validity (--cex-cache-exp) | Cristian Cadar |
| 2023-07-21 | Add code to only keep in the --help menu the KLEE/Kleaver option categories | Cristian Cadar |
| 2023-07-21 | Move some options to the klee namespace and declare them in OptionCategories.h | Cristian Cadar |
