projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c4a6ed) | patch
Added theory/arith/kind and enabled the smt parser to read in these symbols. Also...
authorTim King <taking@cs.nyu.edu>
Wed, 28 Apr 2010 14:52:22 +0000 (14:52 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 28 Apr 2010 14:52:22 +0000 (14:52 +0000)
commit7a8454030fdbb1e6c2a6db7ce18eafe0764eaf4a
tree1c2044783b304516f67a1355bf16b0af7ec42a06tree
parent0c4a6edae95b3ffc76cb82604a3d1694d42625bbcommit | diff
Added theory/arith/kind and enabled the smt parser to read in these symbols. Also a bug fix to a couple of unit tests.
src/parser/smt/Smt.g diff | blob | history
src/theory/arith/kinds diff | blob | history
test/unit/expr/node_manager_white.h diff | blob | history
test/unit/expr/node_white.h diff | blob | history