projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dee8aad) | patch
Better error on illegal (pop N); also more compliant SMT-LIB error messages in some...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 13:54:15 +0000 (09:54 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 20:54:27 +0000 (16:54 -0400)
commitfdd15f6e418277e471e92a8a32f1e2229c3325f5
treea74941b10c39d703eedccd7ac46b89e6747112e7tree
parentdee8aad2f6e54738ad26266618ae71d98e31aa54commit | diff
Better error on illegal (pop N); also more compliant SMT-LIB error messages in some places

Thanks to David Cok for reporting these issues.
src/main/interactive_shell.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/parser/parser.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history