~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-06-26	Remove parentheses around klee_ intrinsics from the help menu	Cristian Cadar

2023-03-23	stats: add termination class stats	Frank Busse

2021-12-23	Introduce termination categories	Frank Busse
	Track all path terminations: esp. for debugging or visualising a persistent process tree (with or without full MoKlee integration) it is helpful to know the exact reason (StateTerminationType) why a path terminated.
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
	tly in lib/Core
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
	Using KLEE's `ref<>` shared ptr requires the referenced object to contain a reference counter to be added and initialised to 0 as part of the constructor. To support better reuse of the `ref<>` ptr add a `ReferenceCounter` struct. Just adding this struct to a new class/struct as member enables reference counting with `ref<>` - no additional counter management needed.
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
	Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
2019-03-12	Fixed unitialised memory in `MergeHandler`	Martin Nowack
	Add missing initialisation for `closedMean` for `MergeHandler`
2019-03-11	Replaced "default=off" with "default=false"	MartinNowack
	Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
2019-03-11	Created a path merging option category and improved help message for path ↵	Cristian Cadar
	merging options
2018-06-11	Fixed memory leak from Executor::inCloseMerge, fixes #883	Lukas Wölfer

2018-05-15	Improved code quality	Lukas Wölfer

2018-05-15	Implemented incomplete merging	Lukas Wölfer

2017-11-30	Implemented bounded merging functionality	Lukas Wölfer