| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2021-09-10 | llvm12: VectorType::getNumElements() has been deprecated | Lukas Zaoral |
| 2021-05-10 | allocate memory objects for functions | Julian Büning |
| 2021-05-04 | differentiate between partial and completed paths in summary and fix paths st... | Frank Busse |
| 2021-04-20 | Replaced the time-based delay after which the max-static-*-pct checks are per... | Cristian Cadar |
| 2021-04-20 | Refactored maxStaticPctChecks into a sequence of conditions. | Cristian Cadar |
| 2021-04-20 | Added a warning when forking is skipped due to MaxStatic*Pct limits being rea... | Cristian Cadar |
| 2021-04-20 | Added -max-static-pct-check-delay to replace the hardcoded delay after which ... | Cristian Cadar |
| 2021-04-20 | Refactored MaxStatis*Pct conditions into a separate function. | Cristian Cadar |
| 2021-02-16 | Executor: remove obsolete special case for __cxa_{re,}throw | Julian Büning |
| 2021-02-16 | add ifdefs for C++ exception handling | Julian Büning |
