projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed25d7b) | patch
Changing min/maxArity to use metakind info.
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 1 Apr 2010 20:06:10 +0000 (20:06 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 1 Apr 2010 20:06:10 +0000 (20:06 +0000)
commitf4918a518a69090ed0ba2547fb21cd8f418c648b
tree51dc3b180d20ef8358eba3f1ca4d66d17ba446c2tree
parented25d7b7527691442ab48d02353e20c87ab8e2dacommit | diff
Changing min/maxArity to use metakind info.
src/expr/expr_manager_template.cpp diff | blob | history
src/parser/smt/Smt.g diff | blob | history