Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+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.
finalize scheduled build only on master node;
8 months ago, by Fabian Huch
finalize current sessions before generating schedule;
8 months ago, by Fabian Huch
clarified signature: more operations;
8 months ago, by Fabian Huch
NEWS
8 months ago, by desharna
merged
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
support for "cluster" table with "hosts" array, and params/options as for "host" table;
8 months ago, by wenzelm
clarified signature: more operations, allow recursive get;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
tuned signature: more operations;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned output;
8 months ago, by wenzelm
more robust: prefer strict operations;
8 months ago, by wenzelm
tuned message;
8 months ago, by wenzelm
tuned signature: more operations;
8 months ago, by wenzelm
more specific name for type class
8 months ago, by haftmann
proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
tuned comments;
8 months ago, by wenzelm
more NEWS;
8 months ago, by wenzelm
more TODO;
8 months ago, by wenzelm
prefer strict test of system options;
8 months ago, by wenzelm
some build cluster resources at TUM;
8 months ago, by wenzelm
build cluster host specifications are based on registry entries (table prefix "host");
8 months ago, by wenzelm
more robust init;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
support interpreted/typed entries via Registry.Category and Registry.Table;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
clarified output;
8 months ago, by wenzelm
support for global registry;
8 months ago, by wenzelm
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
8 months ago, by wenzelm
slightly less technical formulation of very specific type class
8 months ago, by haftmann
weakened dependency
8 months ago, by haftmann
explicit type class for discrete linordered semidoms
8 months ago, by haftmann
proper dummy timing entries;
8 months ago, by Fabian Huch
use only finished sessions in timing data;
8 months ago, by Fabian Huch
tuned;
8 months ago, by Fabian Huch
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
8 months ago, by Fabian Huch
performance tuning for build schedule: faster stopping;
8 months ago, by Fabian Huch
performance tuning for timing heuristic: pre-calculate graph operations;
8 months ago, by Fabian Huch
move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);
8 months ago, by Fabian Huch
clarified signature: emphasize mutable instance;
8 months ago, by wenzelm
clarified signature: more operations;
8 months ago, by wenzelm
support for explicit SSH hostname;
8 months ago, by wenzelm
proper local host (amending 62d7ef1da441);
8 months ago, by wenzelm
merged
8 months ago, by nipkow
added lemma
8 months ago, by nipkow
proper default for disjunction (amending 9f7a94117666);
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
more operations;
8 months ago, by wenzelm
avoid option -C: free this latter for build-related configuration;
8 months ago, by wenzelm
more direct indentation, using Symbol.spaces;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
more accurate treatment of surrounding whitespace;
8 months ago, by wenzelm
obsolete (see also f627ab8c276c);
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip