git.libre-soc.org Git - cvc5.git/commit

author	mudathirmahgoub <mudathirmahgoub@gmail.com>
	Tue, 6 Oct 2020 00:49:32 +0000 (19:49 -0500)
committer	GitHub <noreply@github.com>
	Tue, 6 Oct 2020 00:49:32 +0000 (19:49 -0500)
commit	cedeef257a8031bcfb16aa6e6f500121348458bf
tree	b9ad4075a5374fff60bc211bdff9bc9a28bc5734	tree
parent	88fb54a554f1a374a380b1808d355f096437d1c0	commit \| diff

Remove subtyping for sets (#5205)

Removed subtyping for sets in type_node.h

Fixes #4502, fixes #4631.

src/expr/type_node.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.h		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/regress0/sets/int-real-univ-unsat.smt2		diff \| blob \| history
test/regress/regress0/sets/int-real-univ.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-of-sets-subtypes.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-poly-nonint.smt2		diff \| blob \| history
test/unit/api/python/test_sort.py		diff \| blob \| history
test/unit/api/sort_black.h		diff \| blob \| history
test/unit/theory/theory_sets_type_rules_white.h		diff \| blob \| history