Wed, 12 Dec 2012 15:25:17 +0100 better tautology check -- don't reject "prod_cases3" for example
blanchet [Wed, 12 Dec 2012 15:25:17 +0100] rev 50495
better tautology check -- don't reject "prod_cases3" for example
Wed, 12 Dec 2012 13:42:14 +0100 tuned debugging file names
blanchet [Wed, 12 Dec 2012 13:42:14 +0100] rev 50494
tuned debugging file names
Wed, 12 Dec 2012 17:44:10 +0100 more systematic identifier variants to facilitate experimentation;
wenzelm [Wed, 12 Dec 2012 17:44:10 +0100] rev 50493
more systematic identifier variants to facilitate experimentation;
Wed, 12 Dec 2012 16:28:18 +0100 prevent dedicated MacOSX plugin from switching off vital workarounds;
wenzelm [Wed, 12 Dec 2012 16:28:18 +0100] rev 50492
prevent dedicated MacOSX plugin from switching off vital workarounds;
Wed, 12 Dec 2012 14:54:48 +0100 improved coupling of zoom_box and scale;
wenzelm [Wed, 12 Dec 2012 14:54:48 +0100] rev 50491
improved coupling of zoom_box and scale; explicit rescale(1.0) on startup;
Wed, 12 Dec 2012 13:28:23 +0100 really all facts means really all facts (well, almost)
blanchet [Wed, 12 Dec 2012 13:28:23 +0100] rev 50490
really all facts means really all facts (well, almost)
Wed, 12 Dec 2012 13:28:01 +0100 tuning
blanchet [Wed, 12 Dec 2012 13:28:01 +0100] rev 50489
tuning
Wed, 12 Dec 2012 11:56:07 +0100 use modern SAT solvers with modern Kodkod versions
blanchet [Wed, 12 Dec 2012 11:56:07 +0100] rev 50488
use modern SAT solvers with modern Kodkod versions
Wed, 12 Dec 2012 11:18:06 +0100 got rid of support for Kodkodi < 1.2.14
blanchet [Wed, 12 Dec 2012 11:18:06 +0100] rev 50487
got rid of support for Kodkodi < 1.2.14
Wed, 12 Dec 2012 03:47:02 +0100 made MaSh evaluation driver work with SMT solvers
blanchet [Wed, 12 Dec 2012 03:47:02 +0100] rev 50486
made MaSh evaluation driver work with SMT solvers
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip