~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2017-02-16	Silenced warning: comparison of integers of different signs ('const int' and ...	Andrea Mattavelli
2017-02-14	Added unit tests for ReadExpr::create() to check that constant folding is cor...	Andrea Mattavelli
2016-11-19	[CMake] Remove unneeded dependency declarations for the unit tests.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-09-29	Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)	Dan Liew
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew