projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58d2d5e) | patch
attempt to improve CVC4's "parse error" message
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 25 Apr 2014 01:35:03 +0000 (21:35 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 27 Apr 2014 22:58:48 +0000 (18:58 -0400)
commit24093bf30356975b5017613d94bf2927521b666f
tree6a60de0b00c39dbd396ace8aadc642b03d7bb627tree
parent58d2d5e99fee6bf3a067f4b6c3f731e66b5c51e0commit | diff
attempt to improve CVC4's "parse error" message
src/parser/antlr_input.cpp diff | blob | history
test/regress/regress0/arrayinuf_error.smt2 diff | blob | history
test/regress/regress0/error.cvc diff | blob | history