src/Pure/Admin/isabelle_cronjob.scala
18 months ago wenzelm 2017-11-14 avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
18 months ago wenzelm 2017-11-14 removed pointless user_home: no measurable impact;
18 months ago wenzelm 2017-11-11 avoid download of components;
18 months ago wenzelm 2017-11-11 local user_home for improved performance, but only after given changeset for stability of measurement history;
18 months ago wenzelm 2017-11-04 superseded by plain_identify;
18 months ago wenzelm 2017-11-01 tuned output;
18 months ago wenzelm 2017-10-28 deactivated old tests;
18 months ago wenzelm 2017-10-27 tuned;
19 months ago wenzelm 2017-10-22 tuned output;
19 months ago wenzelm 2017-10-22 updated test version;
19 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
19 months ago wenzelm 2017-10-22 tuned;
19 months ago wenzelm 2017-10-22 clarified signature;
19 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
19 months ago wenzelm 2017-10-20 more ambitious test;
19 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;
19 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
19 months ago wenzelm 2017-10-18 tuned options;
19 months ago wenzelm 2017-10-15 proper value;
19 months ago wenzelm 2017-10-15 more AFP tests;
19 months ago wenzelm 2017-10-14 tuned (graph.all_succs already contains origin);
19 months ago wenzelm 2017-10-14 support for AFP versions; added AFP tests: non-slow, two partitions;
19 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
19 months ago wenzelm 2017-10-14 support for AFP in build_history and remote_build_history;
19 months ago wenzelm 2017-10-13 tuned whitespace;
19 months ago wenzelm 2017-10-13 support for AFP versions;
19 months ago wenzelm 2017-10-13 tuned signature;
19 months ago wenzelm 2017-10-13 tuned;
19 months ago wenzelm 2017-10-03 updated test version;
20 months ago wenzelm 2017-09-07 no fork of long-term test results: too complicated;
23 months ago wenzelm 2017-06-17 always start with fresh clone (with explicitly given rev): more robust on Windows;
23 months ago wenzelm 2017-06-05 more tests;
23 months ago wenzelm 2017-06-05 cover more history;
23 months ago wenzelm 2017-06-05 cover more history;
24 months ago wenzelm 2017-05-27 tuned;
24 months ago wenzelm 2017-05-25 prefer strict result (in contrast to 0f3b0a929c02);
24 months ago wenzelm 2017-05-24 proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
24 months ago wenzelm 2017-05-24 proper index;
24 months ago wenzelm 2017-05-23 tuned;
24 months ago wenzelm 2017-05-22 more settings;
24 months ago wenzelm 2017-05-22 more settings;
24 months ago wenzelm 2017-05-21 more systematic separation of build_history directories (see also 80c1c1f53e72);
2017-05-19 wenzelm 2017-05-19 separate keep auxiliary directory, to facilitate error diagnosis;
2017-05-16 wenzelm 2017-05-16 proper init_settings for init_component (before generated ML_OPTIONS etc.); fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";
2017-05-15 wenzelm 2017-05-15 history parameters like "Linux A", for more comparable results;
2017-05-14 wenzelm 2017-05-14 explore older history;
2017-05-14 wenzelm 2017-05-14 explicit history_base;
2017-05-12 wenzelm 2017-05-12 explore older history;
2017-05-12 wenzelm 2017-05-12 more explicit flag for historic builds;
2017-05-12 wenzelm 2017-05-12 proper result for rev == "";
2017-05-12 wenzelm 2017-05-12 tuned -- more open to experimentation;
2017-05-12 wenzelm 2017-05-12 tuned -- more visible;
2017-05-12 wenzelm 2017-05-12 updated to polyml-5.7 for testing (not yet ready for production use);
2017-05-10 wenzelm 2017-05-10 tuned;
2017-05-10 wenzelm 2017-05-10 actually plot extended profile history;
2017-05-09 wenzelm 2017-05-09 more robust update of generated directory; tuned;
2017-05-09 wenzelm 2017-05-09 enter deeper into history;
2017-05-09 wenzelm 2017-05-09 tuned signature;
2017-05-08 wenzelm 2017-05-08 pick isabelle_version based on build_log database;
2017-05-08 wenzelm 2017-05-08 make index formally within Isabelle/Scala;