~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-06-05	.clang-format: c++17	Julian Büning
	From the `clang-format` documentation: - "`Cpp11` is a deprecated alias for `Latest`" - `Latest`: "Parse and format using the latest supported language version."
2018-05-12	Update clang-format standard for KLEE codebase to C++11	Martin Nowack

2015-12-25	Removed Language: Cpp entry from .clang-format due to incompatibility with ↵	Andrew Santosa
	Clang 3.4.2
2015-12-13	Set C++ standard in Clang format settings file to C++03. Otherwise	Dan Liew
	template braces get reformatted the C++11 way and that breaks compilation.
2015-04-15	Add clang-format style. We just use LLVM's style.	Dan Liew