projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36dd801) | 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>
Fri, 17 May 2013 13:54:15 +0000 (09:54 -0400)
commit3afbf810287fb3f1a99ef907f91f5e93c3b93226
tree7272a8579e1dd49c18591b1edef64c9c8fad5609tree
parent36dd801660bad8fe1d967c887363f15dbe1bcc63commit | 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