blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41011
added some missing well-annotatedness constraints to monotonicity calculus
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41010
more work on the monotonicity evaluation driver
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41009
improve precision of finite functions in monotonicity calculus
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41008
added ML code for testing entire theories for monotonicity
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41007
use ML SAT solvers up to a certain time limit, then switch to faster solvers with a timeout -- this becomes necessary with the new, more powerful monotonicity calculus
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41006
added examples to exercise new monotonicity code
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41005
fixed quantifier handling of new monotonicity calculus
blanchet [Mon, 06 Dec 2010 13:33:09 +0100] rev 41004
tune parentheses and indentation