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

Improved garbage collection for TheoryArith. The merges all of the code over from branches/arithmetic/converge except for the new code for simplex.

15 files changed:

src/theory/arith/Makefile.am		diff \| blob \| history
src/theory/arith/arithvar.cpp	[new file with mode: 0644]	blob
src/theory/arith/arithvar.h		diff \| blob \| history
src/theory/arith/arithvar_node_map.h		diff \| blob \| history
src/theory/arith/congruence_manager.cpp		diff \| blob \| history
src/theory/arith/constraint.cpp		diff \| blob \| history
src/theory/arith/constraint.h		diff \| blob \| history
src/theory/arith/linear_equality.cpp		diff \| blob \| history
src/theory/arith/linear_equality.h		diff \| blob \| history
src/theory/arith/matrix.cpp		diff \| blob \| history
src/theory/arith/matrix.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.cpp		diff \| blob \| history
src/util/dense_map.h		diff \| blob \| history