~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-07	unittests/CMakeLists.txt: fix LLVM find_package support	Julian Büning
2023-06-07	unittests/CMakeLists.txt: gtest check for LLVM 13+	Julian Büning
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2023-04-20	remove unused rng adaptor functions	Daniel Schemmel
2023-04-18	change some obsolete KDAlloc comments	Julian Büning
2023-03-23	Run KDAlloc/rusage unittest a few times to allow for swapfile interference	Daniel Schemmel
2023-03-22	Change `llvm_map_components_to_libnames` to `llvm_config` CMake function	Martin Nowack
2023-03-17	Update KDAlloc unittests	Martin Nowack
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2023-03-16	Add some unit tests for KDAlloc	Daniel Schemmel
2022-06-15	Spelling Fixes	m-davis
2022-05-05	cmake: try using system installation of GTest if it's present	Lukáš Zaoral
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2022-03-09	tests: make UBSAN print stack traces	Lukáš Zaoral
2022-03-09	fix CMake: gtest from llvm includes gtest_main	Julian Büning
2022-01-05	introduce BranchTypes	Frank Busse
2022-01-05	unittests/TestMain: show stack trace on error	Julian Büning
2022-01-05	fix CMake: use own TestMain instead of gtest_main	Julian Büning
2022-01-05	CMake: set Google Test options properly	Julian Büning
2022-01-05	fix CMake: GTEST_INSTALL -> INSTALL_GTEST	Julian Büning
2022-01-05	CMake: include GTest include hint for 1.8.0+	Julian Büning
2020-11-04	[cmake] Remove several leftovers from old autoconf build system	Martin Nowack
2020-09-03	Fix PTree::remove to clean the tree properly	Sebastian Poeplau
2020-07-30	[unittests] use static PTree::remove method in SearcherTest	Frank Busse
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
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-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus
2020-04-30	Removed include/klee/util and moved header files to appropriate places	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-07	Add unit test for Z3Solver::getConstraintLog	Daniel Grumberg
2020-02-19	Add move assignment operator and move construct for `ref` class.	Martin Nowack
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
2020-02-19	Fix ptr reference invalidation if last reference gets freed before new refere...	Martin Nowack
2019-12-12	[optimize-array] Hash collision test	Timotej Kapus
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-09-03	Moved ConstructSolverChain.cpp to the Solver library.	Cristian Cadar
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-07-30	CMake: enable reuse of LLVM's googletest src and targets	Julian Büning
2019-03-12	time: add double type for span multiplications	Frank Busse
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
2018-07-04	Support sanitizer suppression files with lit-based testing	Martin Nowack
2018-06-14	Add unittest for DiscretePDF	Martin Nowack
2018-03-26	[CMake] Add option to set GTest include dir	lyxia
2017-10-06	Silenced warnings on comparison of integers of different signs in TreeStreamTest	Andrea Mattavelli
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-07-23	Remove LLVM 2.9 from Makefiles	Martin Nowack
2017-07-19	Added some unit tests for TreeStream: one testing some basic behaviour, the o...	Cristian Cadar