isabelle: Graph

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

tuned signature;
14 months ago, by wenzelm
support for "cluster" table with "hosts" array, and params/options as for "host" table;
14 months ago, by wenzelm
clarified signature: more operations, allow recursive get;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned signature: more operations;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned output;
14 months ago, by wenzelm
more robust: prefer strict operations;
14 months ago, by wenzelm
tuned message;
14 months ago, by wenzelm
tuned signature: more operations;
14 months ago, by wenzelm
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
support for explicit SSH hostname;
14 months ago, by wenzelm
proper local host (amending 62d7ef1da441);
14 months ago, by wenzelm
merged
14 months ago, by nipkow
added lemma
14 months ago, by nipkow
proper default for disjunction (amending 9f7a94117666);
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
avoid option -C: free this latter for build-related configuration;
14 months ago, by wenzelm
more direct indentation, using Symbol.spaces;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more accurate treatment of surrounding whitespace;
14 months ago, by wenzelm
obsolete (see also f627ab8c276c);
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);
14 months ago, by wenzelm
more tests;
14 months ago, by wenzelm
clarified exploration of history: more uniform options;
14 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

isabelle