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
Wed, 12 Dec 2012 02:47:45 +0100 merge aliased theorems in MaSh dependencies, modulo symmetry of equality
blanchet [Wed, 12 Dec 2012 02:47:45 +0100] rev 50485
merge aliased theorems in MaSh dependencies, modulo symmetry of equality
Wed, 12 Dec 2012 00:24:06 +0100 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:24:06 +0100] rev 50484
adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)
Wed, 12 Dec 2012 00:14:58 +0100 better name for SMT solver files
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50483
better name for SMT solver files
Wed, 12 Dec 2012 00:14:58 +0100 updated version of MaSh learner engine
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50482
updated version of MaSh learner engine
Wed, 12 Dec 2012 00:14:58 +0100 push normalization further -- avoid theorems that are duplicates of each other except for equality symmetry (esp. for "list.distinct(1)" vs. "(2)" etc.)
blanchet [Wed, 12 Dec 2012 00:14:58 +0100] rev 50481
push normalization further -- avoid theorems that are duplicates of each other except for equality symmetry (esp. for "list.distinct(1)" vs. "(2)" etc.)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip