about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
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-05-26Use unique_ptr for MemoryManager and avoid re-creating it in the first placeMartin Nowack
2023-05-26Cleaned up and updated codecov file.Cristian Cadar
2023-04-21Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...Cristian Cadar
2023-04-21Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen to...Cristian Cadar
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 QueryLoggingSolverDaniel Schemmel
2023-04-21use unique_ptr in IndependentSolverDaniel Schemmel
2023-04-21use unique_ptr in CexCachingSolverDaniel Schemmel
2023-04-21use unique_ptr in AssignmentValidatingSolverDaniel Schemmel
2023-04-21use unique_ptr in CachingSolverDaniel Schemmel
2023-04-21use unique_ptr in StagedSolverImplDaniel Schemmel
2023-04-21use unique_ptr in Z3SolverImplDaniel Schemmel
2023-04-21use unique_ptr in ValidatingSolverDaniel Schemmel
2023-04-21use unique_ptr in STPSolverImplDaniel Schemmel
2023-04-20Remove additional quotation marksMartin Nowack
2023-04-20ensure that the right mt19937 constructor is chosen during overload resolutionDaniel Schemmel
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-14ci: run ShellCheck on `*.inc` shell scriptsJan Macku
2023-04-14Modify name of variables in generated cvc files.ITWOI
2023-04-06Disable "disabling of warnings" for LLVM >= 14Martin Nowack
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-30Prevent fallthrough warningDaniel Schemmel
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 05:21:26 +0000