Commits

History for

Commits on May 12, 2018

Update clang-format standard for KLEE codebase to C++11

MartinNowack
authored and
ccadar
committedMay 12, 2018

Commits on Dec 24, 2015

Removed Language: Cpp entry from .clang-format due to incompatibility with Clang 3.4.2
domainexpert
committedDec 24, 2015

Commits on Dec 13, 2015

Set C++ standard in Clang format settings file to C++03. Otherwise
Dan Liew
committedDec 13, 2015

Commits on Apr 15, 2015

Add clang-format style. We just use LLVM's style.
Dan Liew
committedApr 15, 2015

Loading