projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fac8f3) | patch
[SMT2 Parser] Move code of `rewriterulesCommand` (#3334)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Oct 2019 01:16:40 +0000 (18:16 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 01:16:40 +0000 (18:16 -0700)
commit97c7e81a68b31328e5bf40dd6939826e3cc1cf93
tree9daa06998b858d27675bb3a716728e2ede3cb385tree
parent3fac8f369bd29f9856e2b61fbb5029d780fde64bcommit | diff
[SMT2 Parser] Move code of `rewriterulesCommand` (#3334)

This commit moves the code in `rewriterulesCommand` in the SMT2 parser
to the `Smt2` class. Additionally, it creates a `boundVarList` rule to
reduce code duplication.
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history