isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 05 Feb 2010 11:51:52 +0100 merged

changeset

wenzelm [Fri, 05 Feb 2010 11:51:52 +0100] rev 35000

merged

Thu, 04 Feb 2010 14:45:08 +0100 Changed 'bounded unique existential quantifiers' from a constant to syntax translation.

changeset

hoelzl [Thu, 04 Feb 2010 14:45:08 +0100] rev 34999

Changed 'bounded unique existential quantifiers' from a constant to syntax translation.

Thu, 04 Feb 2010 13:36:52 +0100 four changes to Nitpick:

changeset

blanchet [Thu, 04 Feb 2010 13:36:52 +0100] rev 34998

four changes to Nitpick: 1. avoid writing absolute paths in Kodkodi files for input/output files of external SAT solvers (e.g. MiniSat), to dodge Cygwin problems 2. do eta-contraction in the monotonicity check 3. improved quantifier massaging algorithms using ideas from Paradox 4. repaired "check_potential" and "check_genuine"

Tue, 02 Feb 2010 23:38:41 +0100 capture error messages (of SMT solvers)

changeset

boehmes [Tue, 02 Feb 2010 23:38:41 +0100] rev 34997

capture error messages (of SMT solvers)

Tue, 02 Feb 2010 19:30:08 +0100 updated dependencies

changeset

boehmes [Tue, 02 Feb 2010 19:30:08 +0100] rev 34996

updated dependencies

Tue, 02 Feb 2010 19:26:34 +0100 merged

changeset

boehmes [Tue, 02 Feb 2010 19:26:34 +0100] rev 34995

merged