projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53d6255) | patch
Adding a clang format file for the project.
authorTim King <taking@google.com>
Sun, 18 Sep 2016 22:50:46 +0000 (15:50 -0700)
committerTim King <taking@google.com>
Sun, 18 Sep 2016 23:07:55 +0000 (16:07 -0700)
commit0d165abd6dee77d75eb5792648000ddcc339bdcb
treed2111236a70e972175af91ba13fbc8e5d801d2fctree
parent53d625529c90c81b46a08811e4143552095fff9acommit | diff
Adding a clang format file for the project.

Adds a single example of applying this clang-format.
.clang-format [new file with mode: 0644] blob
src/base/cvc4_assert.h diff | blob | history