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.
tuned signature: fewer warnings in IntelliJ IDEA;
13 months ago, by wenzelm
unused (see also 004b39bf06a5);
13 months ago, by wenzelm
clarified signature and modules: more explicit Build_Log.History;
13 months ago, by wenzelm
tuned: avoid recursion;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
avoid duplicate data;
14 months ago, by wenzelm
output more data;
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
14 months ago, by wenzelm
proper ml_statistics (amending aeb511a520f4);
14 months ago, by wenzelm
unify error messages;
14 months ago, by Fabian Huch
add file information to toml parse context and error messages;
14 months ago, by Fabian Huch
add position information to toml parser and error messages;
14 months ago, by Fabian Huch
properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;
14 months ago, by Fabian Huch
allow re-defining keys in toml object (already checked during parse time);
14 months ago, by Fabian Huch
clarified toString for toml objects;
14 months ago, by Fabian Huch
tuned
14 months ago, by nipkow
tuned message;
14 months ago, by Fabian Huch
better invalidation for schedule cache (only on relevant changes);
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
timing heuristic: parallelize more aggressively to utilize hosts fully;
14 months ago, by Fabian Huch
proper parallel paths for timing heuristic;
14 months ago, by Fabian Huch
scheduled build: allocate cpus more aggressively, to avoid idle threads;
14 months ago, by Fabian Huch
finalize scheduled build only on master node;
14 months ago, by Fabian Huch
finalize current sessions before generating schedule;
14 months ago, by Fabian Huch
clarified signature: more operations;
14 months ago, by Fabian Huch
NEWS
14 months ago, by desharna
merged
14 months ago, by wenzelm
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip