projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff6ac38) | patch
Hack to support global variables for CVC language extended to export mechanism.
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 29 Nov 2012 06:59:21 +0000 (06:59 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 29 Nov 2012 06:59:21 +0000 (06:59 +0000)
commit8f6b53a5328e34ed3f22c67aad6a5ab73bb6fa8b
tree277d4cefb81445d0f3975382f053d224437c6118tree
parentff6ac38127fbb03e6c11a210b6b16d647b8785eacommit | diff
Hack to support global variables for CVC language extended to export mechanism.
- Adds GlobalVarAttr node attribute

(this commit was certified error- and warning-free by the test-and-commit script.)
src/expr/expr_template.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history