projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59e73be) | patch
Clean up TheoryEngine header according to code style guidelines. (#7107)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 1 Sep 2021 19:24:03 +0000 (12:24 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Sep 2021 19:24:03 +0000 (19:24 +0000)
commit847ce3697de4a26e085049496ae1efb7cfb85a99
treed050f79214c18ce924ce01c08753826da7bddf65tree
parent59e73be8a11f5490e0c8cfc4a5e2ab7ed07b352fcommit | diff
Clean up TheoryEngine header according to code style guidelines. (#7107)
src/theory/theory_engine.h diff | blob | history