projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0231618) | patch
modified CVC4 native language parser to accept 1-tuple declaration:
authorPaulMeng <baolmeng@gmail.com>
Mon, 7 Mar 2016 20:30:36 +0000 (14:30 -0600)
committerPaulMeng <baolmeng@gmail.com>
Mon, 7 Mar 2016 20:30:36 +0000 (14:30 -0600)
commitb9edba75ed506427502c9d565152794669e3ae23
tree592459af1fc13810ace34b55456ee65f812cb6d6tree
parent0231618679e6f2e4ae6247015fc5eb0f2f35f9fecommit | diff
modified CVC4 native language parser to accept 1-tuple declaration:
TUPLE(1)

- fixed the tuple element selection for product-split and join-split
rules
src/parser/cvc/Cvc.g diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history