| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-08-14 | Enable Clang-Format for Java (#3064) | Andres Noetzli | |
| 2019-02-26 | ClangFormat: Disable DerivePointerAlignment (#2842) | Andres Noetzli | |
| The option `DerivePointerAlignment` tries to automatically determine the pointer alignment used by the input. In our case, we would eventually like the code base to be consistent throughtout, so this commit disables that option. | |||
| 2017-10-24 | Remove clang-format options introduced in version 5.0. | Mathias Preiner | |
| 2017-10-24 | New clang-format style based on the Google style. (#1264) | Mathias Preiner | |
| 2016-09-18 | Adding a clang format file for the project. | Tim King | |
| Adds a single example of applying this clang-format. | |||
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
path: root/.clang-format
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback