search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
150 stars 31 forks source link

Run clang-format #313

Open mrdomino opened 3 months ago

mrdomino commented 3 months ago

I skipped everything under third_party/, which you may want to add to a .clang-format-ignore.

Btw congratulations, you guys are the first project I came across that had a .clang-format in your repo and had less than 1000 lines changed by running clang-format.

This change is Reviewable

mrdomino commented 3 months ago

Another option for third_party would be something like cosmopolitan libc's third_party/.clang-format:

DisableFormat: true
SortIncludes: Never

I've gone ahead and added that.