projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2e4512) | patch
Added cardinality to cvc language, fixes bug 753. Throw logic exception when using...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 7 Dec 2016 20:09:57 +0000 (14:09 -0600)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 7 Dec 2016 20:09:57 +0000 (14:09 -0600)
commite43b45b42ee786f4dd103aa68d67915504c1f59c
tree0b56c6395cda4feda9be7967869d7a8e5312d0c3tree
parentd2e45128356c725d479a3efff475d8e5f430e4f3commit | diff
Added cardinality to cvc language, fixes bug 753. Throw logic exception when using cardinality on sets with finite element type.
src/parser/cvc/Cvc.g diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
test/regress/regress0/sets/Makefile.am diff | blob | history