Add proof for sine shift lemmas. (#5710)

[cvc5.git] / .clang-format

diff --git a/.clang-format b/.clang-format
index cf788cb6b7ebd23c0313c5d7ec9c2df6280f56a3..a4e83f330308469868e993dfbddd3791777551ee 100644 (file)
--- a/.clang-format
+++ b/.clang-format
@@ -6,6 +6,7 @@ BinPackArguments: false
 BinPackParameters: false
 BreakBeforeBinaryOperators: NonAssignment
 BraceWrapping:
+  AfterCaseLabel: true
   AfterClass: true
   AfterControlStatement: true
   AfterEnum: true
@@ -15,5 +16,12 @@ BraceWrapping:
   BeforeCatch: true
   BeforeElse: true
 BreakBeforeBraces: Custom
+DerivePointerAlignment: false
+---
+Language: Java
+BasedOnStyle:  Google
+ColumnLimit: 80
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
 ...
-