about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2024-02-08Use APIs of newer LLVM versions instead of unsupported onesMartin Nowack
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2024-01-30Make Assignment::evaluate be constCristian Cadar
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-10-23replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_sta...Daniel Schemmel
2023-07-21Add code to only keep in the --help menu the KLEE/Kleaver option categoriesCristian Cadar
2023-07-21Move some options to the klee namespace and declare them in OptionCategories.hCristian Cadar
2023-07-06Implement getLocationInfo in the same style as getSizeDaniel Schemmel
2023-07-06Have CoWPtr::get and CoWPtr::getOwned return pointers instead of referencesDaniel Schemmel
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-06-06Further improve KDAlloc memory usage with infinite quarantineDaniel Schemmel
2023-06-05config.h: include FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-05-26add unsized free to kdallocDaniel Schemmel
2023-05-26Improve LOH deallocation schemeDaniel Schemmel
2023-05-26Add `getMapping` primitive to allocator directlyDaniel Schemmel
2023-05-26Add `getSize` primitive to kdallocDaniel Schemmel
2023-05-26prevent assertions from failing unnecessarilyDaniel Schemmel
2023-05-26Write `Control::meta` in C++17 styleDaniel Schemmel
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-21use unique_ptr in SolverDaniel Schemmel
2023-04-21use unique_ptr in StagedSolverImplDaniel Schemmel
2023-04-20Remove additional quotation marksMartin Nowack
2023-04-20remove unused rng adaptor functionsDaniel Schemmel
2023-04-20use `std::mt19937` instead of the custom implementationDaniel Schemmel
2023-04-18change some obsolete KDAlloc commentsJulian Büning
2023-04-06Disable "disabling of warnings" for LLVM >= 14Martin 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-27(gcc-13) include cstdint for *int*_tJiri Slaby
2023-03-23stats: add termination class statsFrank Busse
2023-03-23stats: add branch type statsFrank Busse
2023-03-23stats: rename numQueries/Queries -> SolverQueries, add QueriesFrank Busse
2023-03-23remove obsolete headerDaniel Schemmel
2023-03-20ConstantArrayExprVisitor: Fix detection of multiple array indicesLukáš Zaoral
2023-03-20llvm14: PointerType::getElementType() was deprecatedLukáš Zaoral
2023-03-17Use bitcode library paths via config generation instead of `-D` flagsMartin Nowack
2023-03-16Add the KDAlloc allocator using both of its suballocatorsDaniel Schemmel
2023-03-16The KDAlloc loh allocator is useful for variable sized (large) allocationsDaniel Schemmel
2023-03-16The KDAlloc slot allocator is useful for small sized allocationsDaniel Schemmel
2022-09-14Eliminate .undefined_behavior.err category and simplify testsPavel
2022-09-14Introduce separate categories for different kinds of undefined behaviorPavel
2022-07-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-07-04Inline asm external callMikhail
2022-07-04Fix memory leak in crosscheck core solver mechanismDaniel Schemmel
2022-06-30remove LLVM < 9Frank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-09 07:47:22 +0000