Clang-format file

[delcypher]

It would be helpful for developers if Z3's source tree came with a .clang-format file so that changes can be automatically formatted.

Note that clang-format can format whole files (usually not desirable) or it can format patches (i.e. with git clang-format) or regions of code (e.g. there's a vim plug-in that lets you format a selected region of text).

A handy tool for visually creating a .clang-format file can be found at https://zed0.co.uk/clang-format-configurator/ and documentation on various options can be found at https://clang.llvm.org/docs/ClangFormatStyleOptions.html

Could a .clang-format file be added that matches Z3's C++ style?

[NikolajBjorner]

Looks useful. Thanks for pointing this out. I wouldn't mind at all and it could help with obliterating manual reformats that happen when small but noticeable inconsistencies are introduced. Not sure how I am able to allocate bandwidth to this given the other worthwhile improvements and bug fixes that have priority.

[XVilka]

Since the time of the issue opened clang-format is better integrated with CMake and Z3 ported (everything except OCaml bindings) to CMake, so you can check these two modules as an example:

• https://github.com/zemasoft/clangformat-cmake
• https://github.com/TheLartians/Format.cmake