~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-23	stats: add termination class stats	Frank Busse
2023-03-23	stats: add branch type stats	Frank Busse
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2023-03-23	remove obsolete header	Daniel Schemmel
2023-03-20	ConstantArrayExprVisitor: Fix detection of multiple array indices	Lukáš Zaoral
2023-03-20	llvm14: PointerType::getElementType() was deprecated	Lukáš Zaoral
2023-03-17	Use bitcode library paths via config generation instead of `-D` flags	Martin Nowack
2023-03-16	Add the KDAlloc allocator using both of its suballocators	Daniel Schemmel
2023-03-16	The KDAlloc loh allocator is useful for variable sized (large) allocations	Daniel Schemmel
2023-03-16	The KDAlloc slot allocator is useful for small sized allocations	Daniel Schemmel
2022-09-14	Eliminate .undefined_behavior.err category and simplify tests	Pavel
2022-09-14	Introduce separate categories for different kinds of undefined behavior	Pavel
2022-07-24	Support arguments of width 128, 256 and 512 bits for external calls	Pavel
2022-07-04	Inline asm external call	Mikhail
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