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

Preregistration has been turned on. Highly experimental eager splitting support has been added. Also a few bug fixes to Tableau.

12 files changed:

src/prop/cnf_stream.cpp		diff \| blob \| history
src/theory/arith/tableau.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/booleans/theory_bool.h		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
test/regress/regress0/Makefile.am		diff \| blob \| history
test/regress/regress0/ite_real_valid.smt	[new file with mode: 0644]	blob
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_uf_white.h		diff \| blob \| history