Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | fixed bug in monotonicity solution display, whereby the polarity of literals was ignored | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | improve precision of forall in constancy part of the monotonicity calculus | changeset | files |
Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added some missing well-annotatedness constraints to monotonicity calculus | changeset | files |