blanchet [Wed, 12 Dec 2012 15:25:17 +0100] rev 50495
better tautology check -- don't reject "prod_cases3" for example
blanchet [Wed, 12 Dec 2012 13:42:14 +0100] rev 50494
tuned debugging file names
wenzelm [Wed, 12 Dec 2012 17:44:10 +0100] rev 50493
more systematic identifier variants to facilitate experimentation;
wenzelm [Wed, 12 Dec 2012 16:28:18 +0100] rev 50492
prevent dedicated MacOSX plugin from switching off vital workarounds;
wenzelm [Wed, 12 Dec 2012 14:54:48 +0100] rev 50491
improved coupling of zoom_box and scale;
explicit rescale(1.0) on startup;
blanchet [Wed, 12 Dec 2012 13:28:23 +0100] rev 50490
really all facts means really all facts (well, almost)
blanchet [Wed, 12 Dec 2012 13:28:01 +0100] rev 50489
tuning
blanchet [Wed, 12 Dec 2012 11:56:07 +0100] rev 50488
use modern SAT solvers with modern Kodkod versions
blanchet [Wed, 12 Dec 2012 11:18:06 +0100] rev 50487
got rid of support for Kodkodi < 1.2.14
blanchet [Wed, 12 Dec 2012 03:47:02 +0100] rev 50486
made MaSh evaluation driver work with SMT solvers
blanchet [Wed, 12 Dec 2012 02:47:45 +0100] rev 50485
merge aliased theorems in MaSh dependencies, modulo symmetry of equality
blanchet [Wed, 12 Dec 2012 00:24:06 +0100] rev 50484
adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50483
better name for SMT solver files
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50482
updated version of MaSh learner engine