projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3d6d0c) | patch
Adding EchoCommand and associated printer and parser rules:
authorMorgan Deters <mdeters@gmail.com>
Thu, 7 Jun 2012 16:16:48 +0000 (16:16 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 7 Jun 2012 16:16:48 +0000 (16:16 +0000)
commit0a7dc7687a4989641d8c101ba3b2d4737eaea24f
treee802b4522419f9480ba04c2c5f2e2d9b1f88426etree
parentb3d6d0ccc76e92304fe612b23dc76a7d78061567commit | diff
Adding EchoCommand and associated printer and parser rules:

* SMT-LIBv2 parser now supports (echo...).
* Dump() gestures can now dump EchoCommands in CVC and SMT-LIB formats.
  This can make it much easier to interpret output.
src/expr/command.cpp diff | blob | history
src/expr/command.h diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history