projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revisit strings extended function decomposition (#2892)
[cvc5.git] / .clang-format
2019-02-26 Andres NoetzliClangFormat: Disable DerivePointerAlignment (#2842) blob | commitdiff | raw
2017-10-24 Mathias PreinerRemove clang-format options introduced in version 5.0. blob | commitdiff | raw | diff to current
2017-10-24 Mathias PreinerNew clang-format style based on the Google style. ... blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-09-18 Tim KingAdding a clang format file for the project. blob | commitdiff | raw | diff to current