cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2019-12-03	Fix clang-format file for brace wrapping with case labels. (#3523)	Aina Niemetz
	More recent clang version introduce an extra flag AfterCaseLabel for brace wrapping after case labels. Default is false, with the effect opening braces after case labels will be aligned on the same line as the label. Our style requires it to be set to true.
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.