| Age | Commit message (Expand) | Author |
|---|
| 2024-02-27 | Extend toConstant() to take an additional boolean argument that decides wheth... | Cristian Cadar |
| 2024-02-27 | This commit fixes the concretization of arguments following an external call ... | Cristian Cadar |
| 2024-02-17 | Fixed incorrect reference in ExternalCallWarnings | Cristian Cadar |
| 2024-02-16 | drop llvm 9 and 10 | Daniel Schemmel |
| 2024-02-08 | Use `std::` namespace for `uint64_t` | MartinNowack |
| 2024-02-08 | Use APIs of newer LLVM versions instead of unsupported ones | Martin Nowack |
| 2024-02-08 | Add support for opaque pointers | Martin Nowack |
| 2024-01-30 | Change `GetConstraintLog` to work with `std::string`s instead of `char*`s | Daniel Schemmel |
| 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 | 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-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 | new: persistent ptree (-write-ptree) and klee-ptree | Frank Busse |
| 2023-07-12 | Replaced --suppress-external-warnings and --all-external-warnings with --exte... | Cristian Cadar |
| 2023-07-06 | rename Allocator::location_info to Allocator::locationInfo for | Daniel Schemmel |
| 2023-06-26 | Fixed a couple of spelling issues in the help menu | Cristian Cadar |
| 2023-06-26 | Improved help message for --exit-on-error-type=Abort | Cristian Cadar |
| 2023-05-26 | Use unique_ptr for MemoryManager and avoid re-creating it in the first place | Martin Nowack |
| 2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel |
| 2023-04-06 | Mark variable as potentially unused | Martin Nowack |
| 2023-03-27 | Core/Executor: long double on i686 must be aligned to 4 bytes | Lukáš Zaoral |
| 2023-03-23 | stats: add termination class stats | Frank Busse |
| 2023-03-23 | stats: add branch type stats | Frank Busse |
| 2023-03-23 | stats: add InhibitedForks | Frank Busse |
| 2023-03-23 | remove obsolete header | Daniel Schemmel |
| 2023-03-20 | llvm14: PointerType::getElementType() was deprecated | Lukáš Zaoral |
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel |
| 2022-09-14 | Eliminate .undefined_behavior.err category and simplify tests | Pavel |
| 2022-09-14 | Introduce separate categories for different kinds of undefined behavior | Pavel |
| 2022-07-24 | Support arguments of width 128, 256 and 512 bits for external calls | Pavel |
| 2022-07-04 | Inline asm external call | Mikhail |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse |
| 2022-06-30 | remove LLVM < 9 | Frank Busse |
| 2022-06-26 | Intrinsics: Add support for @llvm.f{ma,muladd}.f* | Lukáš Zaoral |
| 2022-03-17 | remove obsolete KLEE_LLVM legacy defines | Julian Büning |
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse |
| 2022-03-09 | Core/Executor: Fix unaligned write of fp80 arguments | Lukáš Zaoral |
| 2022-01-05 | introduce BranchTypes | Frank Busse |
| 2021-12-23 | Introduce termination categories | Frank Busse |
| 2021-11-20 | Fixed fail with preferCex, removed relation from first argument | Taras Bereznyak |
| 2021-11-02 | Core/Executor: use `nullptr` instead of `0` | ᴀᴇꜱᴏᴘʜᴏʀ |
| 2021-09-10 | llvm12: Implement llvm.abs intrinsic | Lukas Zaoral |
| 2021-09-10 | llvm12: Implement llvm.{s,u}{max,min} intrinsics | Lukas Zaoral |
