projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b83291) | patch
SMT-LIBv2 compliance updates:
authorMorgan Deters <mdeters@gmail.com>
Tue, 17 Jul 2012 22:07:59 +0000 (22:07 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 17 Jul 2012 22:07:59 +0000 (22:07 +0000)
commit4923b53ad705acc04348da693f03f83f8d9853db
treeb557cb22ce1f21bcbcca9d6ebdcbf205e5537b58tree
parent2b83291d229c957e2becf7397d186040959602dfcommit | diff
SMT-LIBv2 compliance updates:

* more correct support for get-info responses
* printer infrastructure extended to SExprs
* parser updates to correctly handle symbols and strings
  (there were some minor differences from the spec)
13 files changed:
src/expr/command.cpp diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/printer.cpp diff | blob | history
src/printer/printer.h diff | blob | history
src/printer/smt/smt_printer.cpp diff | blob | history
src/printer/smt/smt_printer.h diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/sexpr.cpp [new file with mode: 0644] blob
src/util/sexpr.h diff | blob | history