projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf837ea) | patch
Minor fixes to various parts of CVC4, including the removal of the uintptr_t construc...
authorMorgan Deters <mdeters@gmail.com>
Mon, 2 May 2011 05:04:36 +0000 (05:04 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 2 May 2011 05:04:36 +0000 (05:04 +0000)
commit99c42d62491307279403059690fa31be1fb3af63
tree8f8a40a893e1a59e28015201f907e2cecede3294tree
parentbf837ea666980a0556d7881316f34be7ad1e2ea2commit | diff
Minor fixes to various parts of CVC4, including the removal of the uintptr_t constructors for Type and Expr (which existed due to ANTLR limitations).  These issues are now handled (as a hack, due to said limitations) in the parser rather than the CVC4 core.
src/expr/expr_template.cpp diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/type.cpp diff | blob | history
src/expr/type.h diff | blob | history
src/main/interactive_shell.cpp diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/smt/Smt.g diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/util/dynamic_array.h diff | blob | history