mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-30 13:19:04 +00:00
Code Activity

updated clang format

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-09-18 15:13:20 -07:00
parent b17df988ed
commit 59bd1cf4a0
1 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

14
.clang-format
View file

@ -1,3 +1,4 @@
# Z3 Theorem Prover clang-format configuration # Z3 Theorem Prover clang-format configuration
# Based on analysis of existing codebase style patterns # Based on analysis of existing codebase style patterns
@ -12,7 +13,6 @@ UseTab: Never
ColumnLimit: 120 ColumnLimit: 120
# Braces # Braces
BreakBeforeBraces: Linux
Cpp11BracedListStyle: true Cpp11BracedListStyle: true
# Classes and structs # Classes and structs
@ -25,7 +25,15 @@ AlwaysBreakAfterReturnType: None
AllowShortFunctionsOnASingleLine: Empty AllowShortFunctionsOnASingleLine: Empty
AllowShortIfStatementsOnASingleLine: false AllowShortIfStatementsOnASingleLine: false
AllowShortLoopsOnASingleLine: false AllowShortLoopsOnASingleLine: false
# Ensure function-opening brace is attached to the signature
BreakBeforeBraces: Custom
# Explicitly ensure function brace is not placed on a new line
BraceWrapping:
AfterFunction: false
AfterClass: false
AfterControlStatement: false
AfterNamespace: false
AfterStruct: false
# Spacing # Spacing
SpaceAfterCStyleCast: false SpaceAfterCStyleCast: false
SpaceAfterLogicalNot: false SpaceAfterLogicalNot: false
@ -52,7 +60,7 @@ BreakBeforeTernaryOperators: true
SortIncludes: false # Z3 has specific include ordering conventions SortIncludes: false # Z3 has specific include ordering conventions
# Namespaces # Namespaces
NamespaceIndentation: None NamespaceIndentation: All
# Comments and documentation # Comments and documentation
ReflowComments: true ReflowComments: true