~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-05-26	prevent assertions from failing unnecessarily	Daniel Schemmel
2023-05-26	Write `Control::meta` in C++17 style	Daniel Schemmel
2023-05-26	Use unique_ptr for MemoryManager and avoid re-creating it in the first place	Martin Nowack
2023-05-26	Cleaned up and updated codecov file.	Cristian Cadar
2023-04-21	Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...	Cristian Cadar
2023-04-21	Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen to...	Cristian Cadar
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	Remove additional quotation marks	Martin Nowack
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-18	change some obsolete KDAlloc comments	Julian Büning
2023-04-14	ci: run ShellCheck on `*.inc` shell scripts	Jan Macku
2023-04-14	Modify name of variables in generated cvc files.	ITWOI
2023-04-06	Disable "disabling of warnings" for LLVM >= 14	Martin Nowack
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-30	fix CMake: -UNDEBUG	Julian Büning
2023-03-27	ci(lint): add shell linter - Differential ShellCheck	Jan Macku
2023-03-27	Core/Executor: long double on i686 must be aligned to 4 bytes	Lukáš Zaoral
2023-03-27	(gcc-13) include cstdint for int_t	Jiri Slaby
2023-03-26	tests: add some missing headers	Frank Busse
2023-03-26	fix unused variables warning	Daniel Schemmel
2023-03-23	Fix detection and installation of Ubuntu-provided llvm/clang packages	Martin Nowack
2023-03-23	Transition to GitHub Container Registry hosting	Martin Nowack
2023-03-23	fix unused variable warning	Daniel Schemmel
2023-03-23	Remove model_version from the POSIX runtime, as we have never used it.	Cristian Cadar
2023-03-23	tests: add Feature/KleeStatsTermClasses.c	Frank Busse
2023-03-23	stats: add termination class stats	Frank Busse
2023-03-23	tests: add Feature/KleeStatsBranches.c	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