~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2021-12-20	llvm13: llvm::fs::F_None has been removed	Lukas Zaoral
	... and should be replaced with llvm::fs::OF_None since LLVM 7. See: https://reviews.llvm.org/D101506 https://github.com/llvm/llvm-project/commit/1f67a3cba9b09636c56e2109d8a35ae96dc15782
2021-12-20	Support/FileHandling.cpp: rewrite to C++14	Lukas Zaoral

2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-03-21	drop support for LLVM <= 3.7	Julian Büning

2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
	and introduce klee_open_compressed_output_file with similar behavior along some other minor improvements
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
	Fixes klee/klee#717 delete on null pointer is always safe.
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
	Request LLVM 3.4 as minimal requirement for KLEE
2017-06-01	Refactor file opening code out of `main.cpp` and into	Dan Liew
	`klee_open_output_file()` function so that it can be used by the Z3Solver.