Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 12 Dec 2012 11:56:07 +0100 use modern SAT solvers with modern Kodkod versions
changeset
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
changeset
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
changeset
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
changeset
blanchet [Wed, 12 Dec 2012 02:47:45 +0100] rev 50485
merge aliased theorems in MaSh dependencies, modulo symmetry of equality
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle