projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 549fe66) | patch
ClangFormat: Disable DerivePointerAlignment (#2842)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Feb 2019 22:46:04 +0000 (22:46 +0000)
committerGitHub <noreply@github.com>
Tue, 26 Feb 2019 22:46:04 +0000 (22:46 +0000)
commit879a5f6b5e0c259571e7dbe0d7633a19e982148d
tree9dd505a0440412404e3ec55f142ac7c7fae41671tree
parent549fe66e9cd274784edac47203b832ff7797834fcommit | diff
ClangFormat: Disable DerivePointerAlignment (#2842)

The option `DerivePointerAlignment` tries to automatically determine the
pointer alignment used by the input. In our case, we would eventually
like the code base to be consistent throughtout, so this commit disables
that option.
.clang-format diff | blob | history