git.libre-soc.org Git - cvc5.git/history - src/theory/valuation.cpp

2012-04-11	Morgan Deters	merge from arrays-clark branch	blob \| commitdiff \| raw
2011-10-17	Dejan Jovanović	Sharing work	blob \| commitdiff \| raw \| diff to current
2011-10-05	Morgan Deters	ensureLiteral() in CNF stream to support Andy's quantif...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-07-11	Clark Barrett	Clark's work on array theory - can now solve all QF_AX...	blob \| commitdiff \| raw \| diff to current
2011-07-09	Dejan Jovanović	surprize surprize	blob \| commitdiff \| raw \| diff to current
2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw \| diff to current
2011-05-05	Morgan Deters	Merge from nonclausal-simplification-v2 branch:	blob \| commitdiff \| raw \| diff to current
2011-04-07	Tim King	Made Valuation::getValue() and Valuation::getSatValue...	blob \| commitdiff \| raw \| diff to current
2011-03-31	Tim King	Fixes to Valuation.	blob \| commitdiff \| raw \| diff to current
2011-03-30	Morgan Deters	Add Valuation::getSatValue() so that theories can acces...	blob \| commitdiff \| raw \| diff to current
2011-02-26	Morgan Deters	Merge from theory-break-dependences branch to break...	blob \| commitdiff \| raw \| diff to current