Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+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
.
Sun, 06 Nov 2011 13:32:13 +0100
shortcut binary minimization algorithm
changeset
blanchet [Sun, 06 Nov 2011 13:32:13 +0100] rev 45367
shortcut binary minimization algorithm
Sun, 06 Nov 2011 11:51:35 +0100
speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
changeset
blanchet [Sun, 06 Nov 2011 11:51:35 +0100] rev 45366
speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
Sun, 06 Nov 2011 11:16:37 +0100
renamed experimental systems
changeset
blanchet [Sun, 06 Nov 2011 11:16:37 +0100] rev 45365
renamed experimental systems
Sun, 06 Nov 2011 11:13:47 +0100
repaired quantification over type variables for non-TFF1/THF encodings
changeset
blanchet [Sun, 06 Nov 2011 11:13:47 +0100] rev 45364
repaired quantification over type variables for non-TFF1/THF encodings
Sun, 06 Nov 2011 18:42:15 +0100
misc tuning and modernization;
changeset
wenzelm [Sun, 06 Nov 2011 18:42:15 +0100] rev 45363
misc tuning and modernization; more antiquotations;
Sun, 06 Nov 2011 17:53:32 +0100
misc tuning and modernization;
changeset
wenzelm [Sun, 06 Nov 2011 17:53:32 +0100] rev 45362
misc tuning and modernization; more antiquotations;
Sun, 06 Nov 2011 17:05:45 +0100
tuned;
changeset
wenzelm [Sun, 06 Nov 2011 17:05:45 +0100] rev 45361
tuned;
Sun, 06 Nov 2011 17:00:05 +0100
some statespace benchmarks;
changeset
wenzelm [Sun, 06 Nov 2011 17:00:05 +0100] rev 45360
some statespace benchmarks;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip