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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Mon, 16 May 2022 22:46:41 +0000 (17:46 -0500)
committer	GitHub <noreply@github.com>
	Mon, 16 May 2022 22:46:41 +0000 (22:46 +0000)
commit	9fe8509ed935c094469a7a108d59b854aaa71b35
tree	ad961f9d417c430652c419f724f98dbd0476f0fa	tree
parent	c5189f3419ed0b45b3a3c298dabc506755e86408	commit \| diff

Last remaining fixes for eliminating subtyping (#8772)

Also fixes a debug failure for the nightlies.

This also changes mkTuple to not rely on subtyping (this method should regardless be deleted from our API, as it is not the recommended way of constructing tuples).

13 files changed:

RSS Atom

NEWS.md		diff \| blob \| history
src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/expr/array_store_all.cpp		diff \| blob \| history
src/theory/arith/linear/theory_arith_private.cpp		diff \| blob \| history
src/theory/arith/nl/ext/monomial_check.cpp		diff \| blob \| history
src/theory/sets/term_registry.cpp		diff \| blob \| history
src/theory/sets/term_registry.h		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/java/SolverTest.java		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/theory/theory_arith_white.cpp		diff \| blob \| history
test/unit/util/array_store_all_white.cpp		diff \| blob \| history