projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dce010) | patch
Sets translate, and other short fixes
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 30 May 2014 00:13:52 +0000 (20:13 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 6 Jun 2014 19:40:36 +0000 (15:40 -0400)
commit5c42662fe5cea3051341c8292202357e2a5e7dd3
tree94aa636b95c7a81594a3d82f236263c91b0f6d0ftree
parent0dce010bea47bc6a318eece2bd92ed2305b64c21commit | diff
Sets translate, and other short fixes

- $ is a simple symbol is smt2.
- ever found yourself counting in kind.h? no longer.
- expose parser "logic is set" state for smt/smt2 (any better way?)
- a more helpful assertion message in smt_engine
examples/Makefile.am diff | blob | history
examples/sets-translate/Makefile [new file with mode: 0644] blob
examples/sets-translate/Makefile.am [new file with mode: 0644] blob
examples/sets-translate/sets_translate.cpp [new file with mode: 0644] blob
src/expr/mkkind diff | blob | history
src/parser/parser.h diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history