about summary refs log tree commit diff homepage
path: root/lib/Core/MergeHandler.cpp
AgeCommit message (Expand)Author
2023-06-26Remove parentheses around klee_ intrinsics from the help menuCristian Cadar
2023-03-23stats: add termination class statsFrank Busse
2021-12-23Introduce termination categoriesFrank Busse
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-02-19Add `ReferenceCounter` struct utilized by ref<>Martin Nowack
2019-11-28Move merging related code from Executor into MergingSearcherLukas Wölfer
2019-03-12Fixed unitialised memory in `MergeHandler`Martin Nowack
2019-03-11Replaced "default=off" with "default=false"MartinNowack
2019-03-11Created a path merging option category and improved help message for path mer...Cristian Cadar
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-15Improved code qualityLukas Wölfer
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-11-30Implemented bounded merging functionalityLukas Wölfer
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 02:01:24 +0000