projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9b0e87) | patch
Update datatypes in cvc parser to the new API (#4826)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 3 Aug 2020 21:35:19 +0000 (16:35 -0500)
committerGitHub <noreply@github.com>
Mon, 3 Aug 2020 21:35:19 +0000 (16:35 -0500)
commitf332d9eb50796d0dde8302d463ed830fc6770133
treed07f21eef23d9e10ac9863eded4c899ec403a8betree
parenta9b0e87897b95871916368d0dae780f53efcadd8commit | diff
Update datatypes in cvc parser to the new API (#4826)

This is leftover from the parser conversion. This is towards eliminating all remaining Expr-level calls in the parser.

Notice that 2 parser-level checks for records are eliminated in this PR, since we do not export record objects in the new API.
src/parser/cvc/Cvc.g diff | blob | history