projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69fe669) | patch
TheoryModel: Use EnvObj::rewrite instead of Rewriter::rewrite. (#7215)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 20 Sep 2021 17:51:15 +0000 (10:51 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Sep 2021 17:51:15 +0000 (17:51 +0000)
commitda544fa7acb94fd3602774ed55c7c819b946f785
treeef15f1c7474fe08dcf846c62e52b16a9c0d58706tree
parent69fe669d9645f4e311ebd34852066070205b8036commit | diff
TheoryModel: Use EnvObj::rewrite instead of Rewriter::rewrite. (#7215)
src/theory/theory_model.cpp diff | blob | history