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 message;
12 months ago, by Fabian Huch
better invalidation for schedule cache (only on relevant changes);
12 months ago, by Fabian Huch
tuned;
12 months ago, by Fabian Huch
timing heuristic: parallelize more aggressively to utilize hosts fully;
12 months ago, by Fabian Huch
proper parallel paths for timing heuristic;
12 months ago, by Fabian Huch
scheduled build: allocate cpus more aggressively, to avoid idle threads;
12 months ago, by Fabian Huch
finalize scheduled build only on master node;
12 months ago, by Fabian Huch
finalize current sessions before generating schedule;
12 months ago, by Fabian Huch
clarified signature: more operations;
12 months ago, by Fabian Huch
NEWS
12 months ago, by desharna
merged
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
support for "cluster" table with "hosts" array, and params/options as for "host" table;
12 months ago, by wenzelm
clarified signature: more operations, allow recursive get;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned signature: more operations;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned output;
12 months ago, by wenzelm
more robust: prefer strict operations;
12 months ago, by wenzelm
tuned message;
12 months ago, by wenzelm
tuned signature: more operations;
12 months ago, by wenzelm
more specific name for type class
12 months ago, by haftmann
proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
clarified signature: more operations;
12 months ago, by wenzelm
tuned comments;
12 months ago, by wenzelm
more NEWS;
12 months ago, by wenzelm
more TODO;
12 months ago, by wenzelm
prefer strict test of system options;
12 months ago, by wenzelm
some build cluster resources at TUM;
12 months ago, by wenzelm
build cluster host specifications are based on registry entries (table prefix "host");
12 months ago, by wenzelm
more robust init;
12 months ago, by wenzelm
clarified signature: more operations;
12 months ago, by wenzelm
support interpreted/typed entries via Registry.Category and Registry.Table;
12 months ago, by wenzelm
clarified signature: more operations;
12 months ago, by wenzelm
clarified output;
12 months ago, by wenzelm
support for global registry;
12 months ago, by wenzelm
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
12 months ago, by wenzelm
slightly less technical formulation of very specific type class
12 months ago, by haftmann
weakened dependency
12 months ago, by haftmann
explicit type class for discrete linordered semidoms
12 months ago, by haftmann
proper dummy timing entries;
12 months ago, by Fabian Huch
use only finished sessions in timing data;
12 months ago, by Fabian Huch
tuned;
12 months ago, by Fabian Huch
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
12 months ago, by Fabian Huch
performance tuning for build schedule: faster stopping;
12 months ago, by Fabian Huch
performance tuning for timing heuristic: pre-calculate graph operations;
12 months ago, by Fabian Huch
move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);
12 months ago, by Fabian Huch
clarified signature: emphasize mutable instance;
12 months ago, by wenzelm
clarified signature: more operations;
12 months ago, by wenzelm
support for explicit SSH hostname;
12 months ago, by wenzelm
proper local host (amending 62d7ef1da441);
12 months ago, by wenzelm
merged
12 months ago, by nipkow
added lemma
12 months ago, by nipkow
proper default for disjunction (amending 9f7a94117666);
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
more operations;
12 months ago, by wenzelm
avoid option -C: free this latter for build-related configuration;
12 months ago, by wenzelm
more direct indentation, using Symbol.spaces;
12 months ago, by wenzelm

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

isabelle