about summary refs log tree commit diff homepage
path: root/lib/Core
AgeCommit message (Expand)Author
2024-02-29Support external call concretisation policies for referenced objectsMartin Nowack
2024-02-29Refactor `ObjectState::flushToConcreteStore` to use `toConstant`Martin Nowack
2024-02-29Use correctly constrained constants if the memory object is fully symbolicMartin Nowack
2024-02-29Correctly update symbolic variables that have been changed externallyMartin Nowack
2024-02-27Small refactorings and reformatting in callExternalFunctionCristian Cadar
2024-02-27Simplified callExternalFunction by using toConstant instead of getValueCristian Cadar
2024-02-27Extend toConstant() to take an additional boolean argument that decides wheth...Cristian Cadar
2024-02-27This commit fixes the concretization of arguments following an external call ...Cristian Cadar
2024-02-19Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution...Cristian Cadar
2024-02-17Fixed incorrect reference in ExternalCallWarningsCristian Cadar
2024-02-16drop llvm 9 and 10Daniel Schemmel
2024-02-08Use `std::` namespace for `uint64_t`MartinNowack
2024-02-08Add support to `aligned_alloc` generated by LLVMMartin Nowack
2024-02-08Use APIs of newer LLVM versions instead of unsupported onesMartin Nowack
2024-02-08Add support for opaque pointersMartin Nowack
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2024-01-30Modify getValueFromSeeds() to include more functionality and simplify its cal...Cristian Cadar
2024-01-30Make Assignment::evaluate be constCristian Cadar
2024-01-30Removed --zero-seed-extension, and merge it with --allow-seed-extension. This...Cristian Cadar
2024-01-30Refactored some code related to seeding.Cristian Cadar
2024-01-30On a symbolic allocation, retrieve size from a seed, if availableCristian Cadar
2024-01-30Concretize arguments to external function calls using seeds, if available. A...Cristian Cadar
2024-01-30Concretize constants using seed values, when available. Added two tests (w/ ...Cristian Cadar
2024-01-12Follow-up: applied review comments, implemented meta-data cleanup (one more m...Tomasz Kuchta
2024-01-12Feature: implement single memory object resolution for symbolic addresses.Tomasz Kuchta
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-09-11Make KDAlloc the default memory allocatorCristian Cadar
2023-07-21Move some options to the klee namespace and declare them in OptionCategories.hCristian Cadar
2023-07-12Replaced --suppress-external-warnings and --all-external-warnings with --exte...Cristian Cadar
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-06-26Remove parentheses around klee_ intrinsics from the help menuCristian Cadar
2023-06-26Fixed a couple of spelling issues in the help menuCristian Cadar
2023-06-26Improved help message for --exit-on-error-type=AbortCristian Cadar
2023-06-11SpecialFunctionHandler: use std::array for handlerInfoJulian Büning
2023-06-09Fixed a format specifier pointed to by a compiler warning.Cristian Cadar
2023-06-05make BatchingSearcher more readableJulian Büning
2023-06-05fix BatchingSearcher's disabled time budgetJulian Büning
2023-06-05CMake: use built-in FindSQLite3 moduleJulian Büning
2023-05-26Improve error message when KDAlloc fails to create a mappingDaniel Schemmel
2023-05-26Use unique_ptr for MemoryManager and avoid re-creating it in the first placeMartin Nowack
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-06Use newer C++ standard for KLEE's iterators; fixes deprecation warningMartin Nowack
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-04-06Mark variable as potentially unusedMartin Nowack
2023-04-01remove include/klee/Support/IntEvaluation.hDaniel Schemmel
2023-03-27Core/Executor: long double on i686 must be aligned to 4 bytesLukáš Zaoral
2023-03-23stats: add termination class statsFrank Busse
2023-03-23stats: add branch type statsFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:24:07 +0000