~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-02-08	Replace `%libcxx_include` with `%libcxx_includes` for multi-include directories	Martin Nowack
2024-01-12	new: persistent ptree (-write-ptree) and klee-ptree	Frank Busse
2023-03-22	Explicitly check if 32bit support is enabled for testing	Martin Nowack
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2022-03-09	tests: make UBSAN print stack traces	Lukáš Zaoral
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2019-07-30	fix two test issues	Felix Rath
2019-03-17	Fix libc++ testcases	Martin Nowack
2019-03-17	Added libcxx flag	Lukas Wölfer
2019-03-12	Add support to compile KLEE with MemorySanitizer (MSan)	Martin Nowack
2019-03-07	tests: rename xxclang to clangxx	Frank Busse
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar
2018-11-06	fix: actually set -O0 in test/concrete/CMakeLists.txt	Julian Büning
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
2018-10-17	tests: disable CompressedExprLogging on zlib-less systems	Frank Busse
2018-10-10	cmake/lit: add asan/non-asan, ubsan/non-ubsan flags	Frank Busse
2018-07-04	Support sanitizer suppression files with lit-based testing	Martin Nowack
2017-11-26	Replace confusing message in lit.site.cfg.in about the file being autogenerated	Cristian Cadar
2017-01-14	Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`	Dan Liew
2016-02-14	Try to fix the TravisCI build when using Z3 as the solver. The	Dan Liew
2014-09-13	[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.	Daniel Dunbar
2014-04-14	Update to new lit configuration to support changes in LLVM3.4	Martin Nowack
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
2014-01-20	Allow llvm-lit from 2.9 to work by hacking %T substitution variable.	Dan Liew
2014-01-20	Add LLVM tool directory to PATH when running tests with llvm-lit.	Dan Liew
2010-05-02	Sketch support for running KLEE tests using 'lit'.	Daniel Dunbar