| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | more work on the monotonicity evaluation driver | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | improve precision of finite functions in monotonicity calculus | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added ML code for testing entire theories for monotonicity | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | 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 | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added examples to exercise new monotonicity code | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | fixed quantifier handling of new monotonicity calculus | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | tune parentheses and indentation | changeset | files |