| Age | Commit message (Expand) | Author |
|---|
| 2024-02-29 | Test case for externally concretized variables and constraint fully symbolic ... | Martin Nowack |
| 2024-02-27 | Small refactorings and reformatting in callExternalFunction | Cristian Cadar |
| 2024-02-27 | This commit fixes the concretization of arguments following an external call ... | Cristian Cadar |
| 2024-02-27 | Two test cases exercising two policies for calling external calls with symbol... | Cristian Cadar |
| 2024-02-17 | Remove the not Darwin requirement for the test TargetMismatch.c | 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 | 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 | 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 | Explicitly enable opaque pointer support for LLVM 15 | Martin Nowack |
| 2024-02-08 | Assume C compiler's default standard is `-std=gnu17` | Martin Nowack |
| 2024-02-08 | Replace `%libcxx_include` with `%libcxx_includes` for multi-include directories | Martin Nowack |
| 2024-01-30 | Avoid generating array names in solver builders that could accidently collide | Martin Nowack |
| 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 | 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-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 | new: persistent ptree (-write-ptree) and klee-ptree | Frank Busse |
| 2023-09-11 | Changed use-after-free and double-free tests to expect KDAlloc, plus some sma... | Cristian Cadar |
| 2023-07-12 | Replaced --suppress-external-warnings and --all-external-warnings with --exte... | Cristian Cadar |
| 2023-06-11 | Rewrote has_permission in the POSIX runtime. We now only return with permiss... | Cristian Cadar |
| 2023-06-05 | test/Feature/StackTraceOutput.c: relative checks, clang-format | Julian Büning |
| 2023-06-05 | re-enable StackTraceOutput.c test | Julian Büning |
| 2023-06-05 | fix BatchingSearcher's disabled time budget | Julian Büning |
| 2023-06-05 | also check for default CHECK directive in ArrayOpt Tests | Matthis Gördel |
| 2023-05-26 | Copy stats to test directory when running tests | Daniel Schemmel |
| 2023-05-26 | Refactored and fixed the code dealing with the entry point. | Cristian Cadar |
| 2023-04-21 | Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi... | Cristian Cadar |
| 2023-03-26 | tests: add some missing headers | Frank Busse |
| 2023-03-23 | Remove model_version from the POSIX runtime, as we have never used it. | Cristian Cadar |
| 2023-03-23 | tests: add Feature/KleeStatsTermClasses.c | Frank Busse |
| 2023-03-23 | tests: add Feature/KleeStatsBranches.c | Frank Busse |
| 2023-03-22 | Added more test cases for --entry-point. EntryPointMissing is currently expec... | Cristian Cadar |
| 2023-03-22 | STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry... | Frank Busse |
| 2023-03-22 | Change `llvm_map_components_to_libnames` to `llvm_config` CMake function | Martin Nowack |
| 2023-03-22 | Remove hard to understand and debug pcregrep test | Cristian Cadar |
| 2023-03-22 | Fixed typo | Martin Nowack |
