projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c783a90) | patch
Cosmetic improvements to theory datatypes (#7020)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 17 Aug 2021 05:44:20 +0000 (00:44 -0500)
committerGitHub <noreply@github.com>
Tue, 17 Aug 2021 05:44:20 +0000 (05:44 +0000)
commitdf8caeeb9490ba712744f814ba92916a8ae4ab1e
tree1d941c6191cfaf9fd6b66720c14c716542b909d5tree
parentc783a90bc4dbf43a2d054a4e04ae0cae280bea30commit | diff
Cosmetic improvements to theory datatypes (#7020)

Mainly just indentation / formatting changes. In preparation for playing around with heuristics to datatypes theory motivated by Facebook benchmarks.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history