projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65f0dc2) | patch
Fix native language parsing of chained-store expressions (resolves bug 585). Thanks...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 22:05:31 +0000 (18:05 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 6 Oct 2014 18:26:53 +0000 (14:26 -0400)
commit627628cd06fc5b19fe59c95b3cb4073d85a8dfab
treea9fc919209fceea59257a18c7142015d0043d763tree
parent65f0dc22fe49c6c388e9413f3b7541d7fb49a3b3commit | diff
Fix native language parsing of chained-store expressions (resolves bug 585).  Thanks to Eric Seidel for the report.  Also fixed some operator precedence problems w.r.t. store expressions and arithmetic.
src/parser/cvc/Cvc.g diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/arrays/Makefile.am diff | blob | history
test/regress/regress0/arrays/parsing_ringer.cvc [new file with mode: 0644] blob
test/regress/regress0/bug585.cvc [new file with mode: 0644] blob