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

branches/arith-indexed-variables merged into the main trunk.

14 files changed:

src/context/cdmap.h		diff \| blob \| history
src/theory/arith/Makefile.am		diff \| blob \| history
src/theory/arith/arith_activity.h		diff \| blob \| history
src/theory/arith/arith_utilities.h		diff \| blob \| history
src/theory/arith/basic.h		diff \| blob \| history
src/theory/arith/normal_form.cpp		diff \| blob \| history
src/theory/arith/partial_model.cpp		diff \| blob \| history
src/theory/arith/partial_model.h		diff \| blob \| history
src/theory/arith/tableau.cpp	[new file with mode: 0644]	blob
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
test/regress/regress0/arith/Makefile.am		diff \| blob \| history
test/regress/regress0/arith/leq.01.smt	[new file with mode: 0644]	blob