projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f8f4ae) | patch
Changing minArity of AND/OR to 1 in SMT parser
authorChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 19 Feb 2010 17:36:23 +0000 (17:36 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 19 Feb 2010 17:36:23 +0000 (17:36 +0000)
commit34b455b1d74fdc06dd2f874fa2bc8d73127fbedf
treef662516ae1ce26410fdaec2752ac7bb034c79c95tree
parent9f8f4ae9ef9d9d79973b77b6c61af4c5db034841commit | diff
Changing minArity of AND/OR to 1 in SMT parser
src/parser/antlr_parser.cpp diff | blob | history