~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-09-11	Make KDAlloc the default memory allocator	Cristian Cadar
2023-09-07	Remove broken experimental optimisation for validity (--cex-cache-exp)	Cristian Cadar
2023-07-21	Add code to only keep in the --help menu the KLEE/Kleaver option categories	Cristian Cadar
2023-07-21	Move some options to the klee namespace and declare them in OptionCategories.h	Cristian Cadar
2023-07-12	Replaced --suppress-external-warnings and --all-external-warnings with --exte...	Cristian Cadar
2023-07-08	Combine all `ConstantExpr::toMemory` cases into one.	Daniel Schemmel
2023-07-08	Using std::memcpy prevents alignment problems and removes an unnecessary spec...	Daniel Schemmel
2023-07-06	rename Allocator::location_info to Allocator::locationInfo for	Daniel Schemmel
2023-06-26	Remove parentheses around klee_ intrinsics from the help menu	Cristian Cadar
2023-06-26	Fixed a couple of spelling issues in the help menu	Cristian Cadar
2023-06-26	Improved help message for --exit-on-error-type=Abort	Cristian Cadar
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