about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2024-05-10Rewrite seed mode wrapper psychicNguyễn Gia Phong
2024-05-10Rewrite seed mode wrapperNguyễn Gia Phong
2024-03-05Revert orphaned changesNguyễn Gia Phong
2024-03-05Move differentiator to separate moduleNguyễn Gia Phong
2024-03-05Retire external symbilic diffNguyễn Gia Phong
2024-03-05Port seeding wrapper to KLEE 3Nguyễn Gia Phong
2024-03-05Make symbolic stdout more flexibleNguyễn Gia Phong
2024-03-05Lay ground work for concrete executionNguyễn Gia Phong
2024-03-05Implement differentiator extractionNguyễn Gia Phong
2024-03-05Receive instrumented revision numberNguyễn Gia Phong
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-07-21Add code to only keep in the --help menu the KLEE/Kleaver option categoriesCristian Cadar
2023-06-26Consistently use ".ktest" when referring to .ktest files in the help menuCristian Cadar
2023-06-11fix ktest-randgen: use after freeJulian Büning
2023-06-06ktest-gen: remove unused functionFrank Busse
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-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-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-03-26fix unused variables warningDaniel Schemmel
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
2023-03-23stats: add termination class statsFrank Busse
2023-03-23stats: add branch type statsFrank Busse
2023-03-23stats: rename States -> ActiveStates, add StatesFrank Busse
2023-03-23stats: add AllocationsFrank Busse
2023-03-23stats: rename numQueries/Queries -> SolverQueries, add QueriesFrank Busse
2023-03-23stats: add ExternalCallsFrank Busse
2023-03-23stats: add QCacheHits/MissesFrank Busse
2023-03-23stats: add InhibitedForksFrank Busse
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-22klee-stats: improve error message for missing tabulate packageFrank Busse
2023-03-17Fix uninitialised memory access while reading last path entryMartin Nowack
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2023-03-17[MemSan] Mark memory objects modified by syscalls as initialisedMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2023-02-17create klee-last as a relative linkDaniel Schemmel
2023-02-17Fix integer overflowDaniel Schemmel
2022-12-09Fixed some leaks in klee-replayCristian Cadar
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-07-04Inline asm external callMikhail
2022-06-30remove LLVM < 9Frank Busse
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-05-06Renamed gen-random-bout to ktest-randgenCristian Cadar
2022-05-06Updated klee-zesti to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Renamed gen-bout to ktest-genCristian Cadar
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-08-28 08:58:18 +0000