~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-11	SpecialFunctionHandler: use std::array for handlerInfo	Julian Büning
2023-06-09	Fixed a format specifier pointed to by a compiler warning.	Cristian Cadar
2023-06-05	make BatchingSearcher more readable	Julian Büning
2023-06-05	fix BatchingSearcher's disabled time budget	Julian Büning
2023-06-05	CMake: use built-in FindSQLite3 module	Julian Büning
2023-05-26	Improve error message when KDAlloc fails to create a mapping	Daniel Schemmel
2023-05-26	Use unique_ptr for MemoryManager and avoid re-creating it in the first place	Martin Nowack
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 QueryLoggingSolver	Daniel Schemmel
2023-04-21	use unique_ptr in IndependentSolver	Daniel Schemmel
2023-04-21	use unique_ptr in CexCachingSolver	Daniel Schemmel
2023-04-21	use unique_ptr in AssignmentValidatingSolver	Daniel Schemmel
2023-04-21	use unique_ptr in CachingSolver	Daniel Schemmel
2023-04-21	use unique_ptr in StagedSolverImpl	Daniel Schemmel
2023-04-21	use unique_ptr in Z3SolverImpl	Daniel Schemmel
2023-04-21	use unique_ptr in ValidatingSolver	Daniel Schemmel
2023-04-21	use unique_ptr in STPSolverImpl	Daniel Schemmel
2023-04-20	ensure that the right mt19937 constructor is chosen during overload resolution	Daniel Schemmel
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-06	Use newer C++ standard for KLEE's iterators; fixes deprecation warning	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-30	Prevent fallthrough warning	Daniel Schemmel
2023-03-27	Core/Executor: long double on i686 must be aligned to 4 bytes	Lukáš Zaoral
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 States -> ActiveStates, add States	Frank Busse
2023-03-23	stats: add Allocations	Frank Busse
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2023-03-23	stats: add ExternalCalls	Frank Busse
2023-03-23	stats: add QCacheHits/Misses	Frank Busse
2023-03-23	stats: add InhibitedForks	Frank Busse
2023-03-23	remove obsolete header	Daniel Schemmel
2023-03-22	STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...	Frank Busse
2023-03-22	Change `llvm_map_components_to_libnames` to `llvm_config` CMake function	Martin Nowack
2023-03-20	ConstantArrayExprVisitor: Fix detection of multiple array indices	Lukáš Zaoral
2023-03-20	ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`	Lukáš Zaoral
2023-03-20	llvm14: PointerType::getElementType() was deprecated	Lukáš Zaoral
2023-03-20	llvm14: TargetRegistry.h was moved from Support to MC	Lukáš Zaoral
2023-03-17	Fix compiler warning with newer compilers	Martin Nowack
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2023-03-16	Integrate KDAlloc into KLEE	Daniel Schemmel
2023-03-16	The KDAlloc slot allocator is useful for small sized allocations	Daniel Schemmel
2022-09-26	Improve the message for when large arrays become symbolic. Only print this w...	Cristian Cadar
2022-09-24	Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...	Pavel
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