git.libre-soc.org Git - cvc5.git/history - src/theory/arith/partial

[cvc5.git] / src / theory / arith / partial_model.h

2011-04-18	Tim King	This commit merges the branch arithmetic/propagation...	blob \| commitdiff \| raw
2010-10-22	Tim King	Code cleanup for TheoryArith.	blob \| commitdiff \| raw \| diff to current
2010-10-22	Tim King	Fixes to getValue for TheoryArith.	blob \| commitdiff \| raw \| diff to current
2010-10-14	Tim King	Fixed computation of infinitesimals for arithmetic...	blob \| commitdiff \| raw \| diff to current
2010-10-02	Tim King	branches/arith-indexed-variables merged into the main...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-29	Tim King	This commit merges the decaying-rows branch into the...	blob \| commitdiff \| raw \| diff to current
2010-06-16	Tim King	This commit just contains miscellaneous arithmetic...	blob \| commitdiff \| raw \| diff to current
2010-06-06	Tim King	Some assorted fixes and local optimizations for theory...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Tim King	Changed how assignments are saved during check. These...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-06-03	Tim King	Fixes 2 issues with assignments. The first is construct...	blob \| commitdiff \| raw \| diff to current
2010-05-28	Tim King	Added printModel() to src/theory/arith/partial_model...	blob \| commitdiff \| raw \| diff to current
2010-05-19	Tim King	Significant revision to theory/arith. The new draft...	blob \| commitdiff \| raw \| diff to current
2010-04-28	Tim King	Merging the arithmetic theory draft (lra-init) back...	blob \| commitdiff \| raw \| diff to current

RSS Atom