~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2023-04-21	use unique_ptr in Solver	Daniel Schemmel
2023-04-21	use unique_ptr in StagedSolverImpl	Daniel Schemmel
2023-04-20	Remove additional quotation marks	Martin Nowack
2023-04-20	remove unused rng adaptor functions	Daniel Schemmel
2023-04-20	use `std::mt19937` instead of the custom implementation	Daniel Schemmel
2023-04-18	change some obsolete KDAlloc comments	Julian Büning
2023-04-06	Disable "disabling of warnings" for LLVM >= 14	Martin Nowack
2023-04-06	Support disabling compiler warnings; Use with external headers	Martin Nowack
2023-04-06	Mark variable as potentially unused	Martin Nowack
2023-04-01	remove include/klee/Support/IntEvaluation.h	Daniel Schemmel
2023-03-27	(gcc-13) include cstdint for int_t	Jiri Slaby
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