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

author	ajreynol <andrew.j.reynolds@gmail.com>
	Fri, 3 Mar 2017 22:17:24 +0000 (16:17 -0600)
committer	ajreynol <andrew.j.reynolds@gmail.com>
	Fri, 3 Mar 2017 22:17:24 +0000 (16:17 -0600)
commit	f81c51ca8af1c38126336f0c31a33fba72614dc1
tree	33cab3539b7ecc7b81dcb6890fd612e15d528e70	tree
parent	72986ccf378dcdbede11d93c70601fdcc5b438ed	commit \| diff

Fix for collectModelInfo related to finite types + preregistration. Generalize previous fix for sets, minor changes to Datatypes.

src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes.h		diff \| blob \| history
src/theory/sep/theory_sep.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/strings/theory_strings.cpp		diff \| blob \| history
src/theory/uf/theory_uf.cpp		diff \| blob \| history
test/regress/regress0/sets/Makefile.am		diff \| blob \| history
test/regress/regress0/sets/abt-te-exh2.smt2	[new file with mode: 0644]	blob