3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 00:41:56 +00:00
Commit graph

1 commit

Author SHA1 Message Date
Daily Backlog Burner
be174cef87 Add .clang-format file for consistent C++ code formatting
This addresses issue #1441 by providing a comprehensive clang-format
configuration that matches Z3's existing C++ coding style patterns.

Key features:
- 4-space indentation consistent with existing Z3 code
- Preserves existing include organization (no auto-sorting)
- Left-aligned pointers/references (type* var style)
- Attach brace style for control statements
- 120 character line limit
- Proper spacing and alignment rules

Usage:
  clang-format --sort-includes=false -i <file>     # Format file in-place
  git clang-format --style=file                    # Format staged changes

Based on analysis of existing Z3 source code patterns in:
- src/ast/*.cpp and src/ast/*.h files
- src/api/*.cpp and src/api/*.h files
- src/smt/*.cpp files
- Various utility and core library files

Resolves #1441
2025-09-17 01:34:15 +00:00