src/Pure/Admin/isabelle_cronjob.scala
19 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
20 months ago wenzelm 2017-11-27 clarified description for mixed Mavericks / El Capitan system;
20 months ago wenzelm 2017-11-25 macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
20 months ago wenzelm 2017-11-19 macbroy2 is inactive: system update;
20 months ago wenzelm 2017-11-14 avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
20 months ago wenzelm 2017-11-14 removed pointless user_home: no measurable impact;
20 months ago wenzelm 2017-11-11 avoid download of components;
20 months ago wenzelm 2017-11-11 local user_home for improved performance, but only after given changeset for stability of measurement history;
20 months ago wenzelm 2017-11-04 superseded by plain_identify;
20 months ago wenzelm 2017-11-01 tuned output;
21 months ago wenzelm 2017-10-28 deactivated old tests;
21 months ago wenzelm 2017-10-27 tuned;
21 months ago wenzelm 2017-10-22 tuned output;
21 months ago wenzelm 2017-10-22 updated test version;
21 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
21 months ago wenzelm 2017-10-22 tuned;
21 months ago wenzelm 2017-10-22 clarified signature;
21 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
21 months ago wenzelm 2017-10-20 more ambitious test;
21 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;
21 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
21 months ago wenzelm 2017-10-18 tuned options;
21 months ago wenzelm 2017-10-15 proper value;
21 months ago wenzelm 2017-10-15 more AFP tests;
21 months ago wenzelm 2017-10-14 tuned (graph.all_succs already contains origin);
21 months ago wenzelm 2017-10-14 support for AFP versions; added AFP tests: non-slow, two partitions;
21 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
21 months ago wenzelm 2017-10-14 support for AFP in build_history and remote_build_history;
21 months ago wenzelm 2017-10-13 tuned whitespace;
21 months ago wenzelm 2017-10-13 support for AFP versions;
21 months ago wenzelm 2017-10-13 tuned signature;
21 months ago wenzelm 2017-10-13 tuned;
21 months ago wenzelm 2017-10-03 updated test version;
22 months ago wenzelm 2017-09-07 no fork of long-term test results: too complicated;
2017-06-17 wenzelm 2017-06-17 always start with fresh clone (with explicitly given rev): more robust on Windows;
2017-06-05 wenzelm 2017-06-05 more tests;
2017-06-05 wenzelm 2017-06-05 cover more history;
2017-06-05 wenzelm 2017-06-05 cover more history;
2017-05-27 wenzelm 2017-05-27 tuned;
2017-05-25 wenzelm 2017-05-25 prefer strict result (in contrast to 0f3b0a929c02);
2017-05-24 wenzelm 2017-05-24 proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
2017-05-24 wenzelm 2017-05-24 proper index;
2017-05-23 wenzelm 2017-05-23 tuned;
2017-05-22 wenzelm 2017-05-22 more settings;
2017-05-22 wenzelm 2017-05-22 more settings;
2017-05-21 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;