~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-07-04	Fix memory leak in crosscheck core solver mechanism	Daniel Schemmel
2022-06-30	remove LLVM < 9	Frank Busse
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2022-04-25	use mallinfo2 if available	Frank Busse
2022-03-17	remove obsolete KLEE_LLVM legacy defines	Julian Büning
2022-03-17	ADT/Ref.h: remove header	Frank Busse
2022-03-17	remove LLVM < 6 from sources	Frank Busse
2022-03-17	Document that GetTotalMallocUsage returns the usage in bytes	Cristian Cadar
2022-01-05	introduce BranchTypes	Frank Busse
2021-12-23	Introduce termination categories	Frank Busse
2021-05-04	differentiate between partial and completed paths in summary and fix paths st...	Frank Busse
2020-12-23	klee.h: fix compiler warnings (function declaration is not a prototype)	Frank Busse
2020-11-12	Casting.h: isa_and_nonnull<>	Julian Büning
2020-11-12	Ref: implement operator bool()	Julian Büning
2020-11-04	Link to the different runtime libraries depending on the application to test.	Martin Nowack
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
2020-08-19	DiscretePDF: use IDs instead of pointers (see PR #739)	Frank Busse
2020-08-07	New intrinsic: klee_is_replay	Alastair Reid
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-07-29	remove holes in Instruction-/FunctionInfoTable, add documentation	Frank Busse
2020-07-01	Clean-up and add documentation	Martin Nowack
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-07-01	Move constraint implementation from header to cpp files	Martin Nowack
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Removed include/klee/util and moved header files to appropriate places	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Move header files from lib/Expr to include/klee/Expr to eliminate includes us...	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-04-08	Statistic: slightly modernise class definition	Frank Busse
2020-04-08	stats: remove queryConstructTime (unused)	Frank Busse
2020-02-19	Use `ref<>` for MemoryObject handling	Martin Nowack
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2020-02-19	Clean-up header files	Martin Nowack
2020-02-19	Add move assignment operator and move construct for `ref` class.	Martin Nowack
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
2020-02-19	Fix ptr reference invalidation if last reference gets freed before new refere...	Martin Nowack
2020-02-13	Use call-by-reference for hash-function invocation	Martin Nowack
2020-02-13	Replace old TR1 implementations of unordered_map/set with std::* versions	Martin Nowack
2019-12-12	[Searchers] Remove weight from es, add nurs_depth	Timotej Kapus
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
2019-11-07	[expr-visitor] Remove unnecessary allocation	Timotej Kapus
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-07-23	Refactor ConstraintManager to more modern coding standards	Daniel Schemmel
2019-06-04	fix some incorrect first lines	Julian Büning
2019-06-04	make endif guard naming consistent	Julian Büning