projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Reinstantiate support for conjunctions in facts (#4377)
[cvc5.git]
/
.clang-format
diff --git
a/.clang-format
b/.clang-format
index 01c8eeb25aa221c1c73e59845a8846c6fa1d078c..a4e83f330308469868e993dfbddd3791777551ee 100644
(file)
--- a/
.clang-format
+++ b/
.clang-format
@@
-6,6
+6,7
@@
BinPackArguments: false
BinPackParameters: false
BreakBeforeBinaryOperators: NonAssignment
BraceWrapping:
BinPackParameters: false
BreakBeforeBinaryOperators: NonAssignment
BraceWrapping:
+ AfterCaseLabel: true
AfterClass: true
AfterControlStatement: true
AfterEnum: true
AfterClass: true
AfterControlStatement: true
AfterEnum: true
@@
-16,4
+17,11
@@
BraceWrapping:
BeforeElse: true
BreakBeforeBraces: Custom
DerivePointerAlignment: false
BeforeElse: true
BreakBeforeBraces: Custom
DerivePointerAlignment: false
+---
+Language: Java
+BasedOnStyle: Google
+ColumnLimit: 80
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
...
...