about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2023-07-08Combine all `ConstantExpr::toMemory` cases into one.Daniel Schemmel
2023-07-08Using std::memcpy prevents alignment problems and removes an unnecessary spec...Daniel Schemmel
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-07-06Perform location_info tests in KDAlloc's random testDaniel Schemmel
2023-06-26RefTest: suppress -Wself-moveJulian Büning
2023-06-26Consistently use ".ktest" when referring to .ktest files in the help menuCristian Cadar
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-11Rewrote has_permission in the POSIX runtime. We now only return with permiss...Cristian Cadar
2023-06-11SpecialFunctionHandler: use std::array for handlerInfoJulian Büning
2023-06-11fix ktest-randgen: use after freeJulian Büning
2023-06-09Fixed a format specifier pointed to by a compiler warning.Cristian Cadar
2023-06-07Changed version to 3.1-preCristian Cadar
2023-06-07Release notes for KLEE 3.0 v3.0 3.0.xCristian Cadar
2023-06-07Set version number to 3.0Cristian Cadar
2023-06-07Fixed end date in the 2.3 release notesCristian Cadar
2023-06-07Build and push Docker image as part of a releaseMartin Nowack
2023-06-07Use recommended LLVM 13 as part of the Docker imageMartin Nowack
2023-06-07unittests/CMakeLists.txt: set gtest include dir only if necessaryJulian Büning
2023-06-07unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on errorJulian Büning
2023-06-07unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBSJulian Büning
2023-06-07unittests/CMakeLists.txt: remove obsolete policyJulian Büning
2023-06-07unittests/CMakeLists.txt: fix LLVM find_package supportJulian Büning
2023-06-07unittests/CMakeLists.txt: gtest check for LLVM 13+Julian Büning
2023-06-06ktest-gen: remove unused functionFrank Busse
2023-06-06Further improve KDAlloc memory usage with infinite quarantineDaniel Schemmel
2023-06-05test/Feature/StackTraceOutput.c: relative checks, clang-formatJulian Büning
2023-06-05re-enable StackTraceOutput.c testJulian Büning
2023-06-05make BatchingSearcher more readableJulian Büning
2023-06-05fix BatchingSearcher's disabled time budgetJulian Büning
2023-06-05also check for default CHECK directive in ArrayOpt TestsMatthis Gördel
2023-06-05CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-06-05config.h: include FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-06-05.clang-format: c++17Julian Büning
2023-06-05doxygen.cfg.in: DOXYGEN_OUTPUT_DIRJulian Büning
2023-06-05CMake: use built-in FindSQLite3 moduleJulian Büning
2023-06-05README-CMake.md: clean up top-level targetsJulian Büning
2023-06-05docs/CMakeLists.txt: drop support for old CMake versionsJulian Büning
2023-06-05CMake: remove obsolete commentsJulian Büning
2023-06-05CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIESJulian Büning
2023-06-05CMake: remove unused TARGET_LIBS variableJulian Büning
2023-05-26Copy stats to test directory when running testsDaniel Schemmel
2023-05-26Some basic refactoring and pass through comments. In particular, it brings s...Cristian Cadar
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
2023-05-26add unsized free to kdallocDaniel Schemmel
2023-05-26Improve LOH deallocation schemeDaniel Schemmel
2023-05-26Improve error message when KDAlloc fails to create a mappingDaniel Schemmel
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 01:16:24 +0000