about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 23:59:02 +0000