about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2024-02-29Add support to fully concretise objects if modified externallyMartin Nowack
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-29Test case for externally concretized variables and constraint fully symbolic ...Martin Nowack
2024-02-29Release notes for KLEE 3.1Cristian Cadar
2024-02-29Set version number to 3.1Cristian Cadar
2024-02-28Compare LLVM_VERSION_SHORT to "140" rather than "14".Michael Herstine
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-27Two test cases exercising two policies for calling external calls with symbol...Cristian Cadar
2024-02-19Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution...Cristian Cadar
2024-02-17Remove the not Darwin requirement for the test TargetMismatch.cCristian Cadar
2024-02-17Fixed incorrect reference in ExternalCallWarningsCristian Cadar
2024-02-16drop llvm 9 and 10Daniel Schemmel
2024-02-12Fix brittleness in Feature/VarArgByVal testDaniel Schemmel
2024-02-08Add space between include and main function for updated test casesMartinNowack
2024-02-08Mention default value in help text for `--strip-all` and `--strip-debug`MartinNowack
2024-02-08Use `std::` namespace for `uint64_t`MartinNowack
2024-02-08Enable CI to test newer LLVM versionsMartin Nowack
2024-02-08Support newer LLVM versions in `lit`Martin Nowack
2024-02-08Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`Martin Nowack
2024-02-08Handle check for thrown libc++ exceptions more generalMartin Nowack
2024-02-08Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.Martin Nowack
2024-02-08Disable unsupported passes for newer LLVM versionsMartin Nowack
2024-02-08Add support to `aligned_alloc` generated by LLVMMartin Nowack
2024-02-08Add support for `Intrinsic::get_rounding` for LLVM 16Martin Nowack
2024-02-08Use APIs of newer LLVM versions instead of unsupported onesMartin Nowack
2024-02-08Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`Martin Nowack
2024-02-08Fix test cases to support opaque pointersMartin Nowack
2024-02-08Add support for opaque pointersMartin Nowack
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
2024-02-08Explicitly build KLEE's exception handling runtime with C++11Martin Nowack
2024-02-08Assume C compiler's default standard is `-std=gnu17`Martin Nowack
2024-02-08Use KLEE's uClibc v1.4 as default to support the compilation with newer compi...Martin Nowack
2024-02-08Refactor invocation of old pass manager into legacy functionMartin Nowack
2024-02-08Fix `klee_eh_cxx.cpp` compiler errorMartin Nowack
2024-02-08Fix `klee-libc/memchr.c` compiler warningMartin Nowack
2024-02-08Replace `%libcxx_include` with `%libcxx_includes` for multi-include directoriesMartin Nowack
2024-02-08Add support for newer `libc++`; Simplify path detectionMartin Nowack
2024-02-08MERGE libc++ build systemMartin Nowack
2024-02-08Add support to build newer LLVM versionsMartin Nowack
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2024-01-30Modify getValueFromSeeds() to include more functionality and simplify its cal...Cristian Cadar
2024-01-30Make Assignment::evaluate be constCristian Cadar
2024-01-30Add checks to the seed concretization tests about the expected number of queriesCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 20:00:55 +0000