~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2019-06-04	DiscretePdf.h: add include guards	Julian Büning
2019-06-04	make include guard naming consistent	Julian Büning
2019-06-04	Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...	Cristian Cadar
2019-06-04	Remove parenthesis around returns, as reported and discussed in #891	Cristian Cadar
2019-05-30	ExecutionState: remove fnAliases	Julian Büning