| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2020-12-04 | llvm11: CallBase::getParamAlignment has been deprecated | Lukas Zaoral |
| 2020-12-04 | llvm11: GlobalValue::getAlignment has been removed | Lukas Zaoral |
| 2020-12-04 | llvm11: Composite and Sequential types were removed | Lukas Zaoral |
| 2020-12-04 | llvm11: Use getCalledOperand instead of getCalledValue | Lukas Zaoral |
| 2020-12-04 | llvm11: Make conversions from StringRef to std::string explicit | Lukas Zaoral |
| 2020-11-12 | Casting.h: isa_and_nonnull<> | Julian Büning |
| 2020-11-12 | Ref: implement operator bool() | Julian Büning |
| 2020-11-04 | Link to the different runtime libraries depending on the application to test. | Martin Nowack |
| 2020-10-21 | fix Executor: remove UB from bindInstructionConstants | Julian Büning |
| 2020-10-12 | address MartinNowack's remaining feedback | Julian Büning |
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath |
| 2020-10-09 | implement fneg instruction | Julian Büning |
| 2020-10-09 | fix: fabs() working on the wrong argument | David Laprell |
| 2020-09-26 | Replace llvm::CallSite with llvm::CallBase on LLVM 8+ | Lukas Zaoral |
| 2020-09-02 | More robust handling of unknown intrinsics | Alastair Reid |
| 2020-07-30 | introduce --rng-initial-seed=<unsigned> | Frank Busse |
| 2020-07-01 | Use constraint sets and separate metadata for timing solver invocation | Martin Nowack |
| 2020-07-01 | Use `unique_ptr` for solver in timing solver | Martin Nowack |
| 2020-07-01 | Separate constraint set and constraint manager | Martin Nowack |
| 2020-06-29 | Implement fshr/fshl intrinsics | Alastair Reid |
| 2020-06-25 | Enforce fork/branch limits in branch() and fix double termination | Frank Busse |
| 2020-06-25 | fix Executor: initializeGlobalAliases | Julian Büning |
| 2020-06-25 | Executor: consolidate initialization of global objects | Julian Büning |
| 2020-06-25 | Executor: light refactoring of {allocate,initialize}GlobalObjects | Julian Büning |
| 2020-06-25 | Executor: split initializeGlobals | Julian Büning |
| 2020-06-24 | print stateID with --debug-print-instructions | Frank Busse |
| 2020-06-24 | add ExecutionState IDs | Frank Busse |
| 2020-06-19 | Correctly copy variadic arguments with byval attribute | Cristian Cadar |
| 2020-06-19 | Renamed loop index from "i" to "k" in executeCall() so that we can reuse "Ins... | Cristian Cadar |
| 2020-04-30 | Moved header files that were placed directly in include/klee/ into appropriat... | Cristian Cadar |
| 2020-04-30 | Removed include/klee/util and moved header files to appropriate places | Cristian Cadar |
