Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more specific name for type class
14 months ago, by haftmann
proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
tuned comments;
14 months ago, by wenzelm
more NEWS;
14 months ago, by wenzelm
more TODO;
14 months ago, by wenzelm
prefer strict test of system options;
14 months ago, by wenzelm
some build cluster resources at TUM;
14 months ago, by wenzelm
build cluster host specifications are based on registry entries (table prefix "host");
14 months ago, by wenzelm
more robust init;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
support interpreted/typed entries via Registry.Category and Registry.Table;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
clarified output;
14 months ago, by wenzelm
support for global registry;
14 months ago, by wenzelm
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
14 months ago, by wenzelm
slightly less technical formulation of very specific type class
14 months ago, by haftmann
weakened dependency
14 months ago, by haftmann
explicit type class for discrete linordered semidoms
14 months ago, by haftmann
proper dummy timing entries;
14 months ago, by Fabian Huch
use only finished sessions in timing data;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
14 months ago, by Fabian Huch
performance tuning for build schedule: faster stopping;
14 months ago, by Fabian Huch
performance tuning for timing heuristic: pre-calculate graph operations;
14 months ago, by Fabian Huch
move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);
14 months ago, by Fabian Huch
clarified signature: emphasize mutable instance;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip