| Age | Commit message (Expand) | Author |
|---|
| 2024-02-19 | Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution... | Cristian Cadar |
| 2024-02-17 | Remove the not Darwin requirement for the test TargetMismatch.c | Cristian Cadar |
| 2024-02-17 | Fixed incorrect reference in ExternalCallWarnings | Cristian Cadar |
| 2024-02-16 | drop llvm 9 and 10 | Daniel Schemmel |
| 2024-02-12 | Fix brittleness in Feature/VarArgByVal test | Daniel Schemmel |
| 2024-02-08 | Add space between include and main function for updated test cases | MartinNowack |
| 2024-02-08 | Mention default value in help text for `--strip-all` and `--strip-debug` | MartinNowack |
| 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 |
