projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f806a8e) | patch
Changing the number of bits allocated per field in node values.
authorTim King <taking@cs.nyu.edu>
Wed, 20 Nov 2013 01:57:15 +0000 (20:57 -0500)
committerTim King <taking@cs.nyu.edu>
Wed, 20 Nov 2013 20:37:18 +0000 (15:37 -0500)
commitbd8e9319aab69db90692f72bc52288329879eefc
tree7bfee530c06836827378fd5b9bd1f47bb4f1eea1tree
parentf806a8eedf01753116c225b4c1a5e29543fda370commit | diff
Changing the number of bits allocated per field in node values.
12 files changed:
src/expr/expr_template.cpp diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_builder.h diff | blob | history
src/expr/node_value.h diff | blob | history
src/expr/pickle_data.h diff | blob | history
src/expr/type_node.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
test/unit/expr/expr_manager_public.h diff | blob | history
test/unit/expr/node_manager_black.h diff | blob | history
test/unit/expr/node_manager_white.h diff | blob | history