projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46eabc0) | patch
Simplify parser (#8592)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 8 Apr 2022 22:00:23 +0000 (15:00 -0700)
committerGitHub <noreply@github.com>
Fri, 8 Apr 2022 22:00:23 +0000 (22:00 +0000)
commit86ef9a69cd3ca2f1102460a27b4cf15b6dda01d6
tree167fec91e19af9eff8513ea42d36e8b9152323d9tree
parent46eabc0138c57d5c329e33f1bca111d8a2be9621commit | diff
Simplify parser (#8592)

This commit simplifies our parser by removing code that is not relevant
anymore since the removal of support for SMT-LIB <=2.6.
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history