git.libre-soc.org Git - cvc5.git/history

2022-03-30	mudathirmahgoub	Patch cross reference in Kind.java documentation (...	blob \| commitdiff \| raw
2022-03-30	mudathirmahgoub	Fix some documentation warnings (#8453)	blob \| commitdiff \| raw \| diff to current
2021-09-30	mudathirmahgoub	Finish the Java Api (#6396)	blob \| commitdiff \| raw \| diff to current
2019-12-03	Aina Niemetz	Fix clang-format file for brace wrapping with case...	blob \| commitdiff \| raw \| diff to current
2019-08-14	Andres Noetzli	Enable Clang-Format for Java (#3064)	blob \| commitdiff \| raw \| diff to current
2019-02-26	Andres Noetzli	ClangFormat: Disable DerivePointerAlignment (#2842)	blob \| commitdiff \| raw \| diff to current
2017-10-24	Mathias Preiner	Remove clang-format options introduced in version 5.0.	blob \| commitdiff \| raw \| diff to current
2017-10-24	Mathias Preiner	New clang-format style based on the Google style. ...	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-10-01	Tim King	Merge pull request #93 from timothy-king/clang-format	blob \| commitdiff \| raw \| diff to current
2016-09-18	Tim King	Adding a clang format file for the project.	blob \| commitdiff \| raw \| diff to current