src/Pure/Admin/isabelle_cronjob.scala
23 months ago wenzelm 2017-10-22 updated test version;
23 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
23 months ago wenzelm 2017-10-22 tuned;
23 months ago wenzelm 2017-10-22 clarified signature;
23 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
23 months ago wenzelm 2017-10-20 more ambitious test;
23 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;
23 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
23 months ago wenzelm 2017-10-18 tuned options;
23 months ago wenzelm 2017-10-15 proper value;
23 months ago wenzelm 2017-10-15 more AFP tests;
23 months ago wenzelm 2017-10-14 tuned (graph.all_succs already contains origin);
23 months ago wenzelm 2017-10-14 support for AFP versions; added AFP tests: non-slow, two partitions;
23 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
23 months ago wenzelm 2017-10-14 support for AFP in build_history and remote_build_history;
23 months ago wenzelm 2017-10-13 tuned whitespace;
23 months ago wenzelm 2017-10-13 support for AFP versions;
23 months ago wenzelm 2017-10-13 tuned signature;
23 months ago wenzelm 2017-10-13 tuned;
23 months ago wenzelm 2017-10-03 updated test version;
2017-09-07 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;
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;
2017-05-08 wenzelm 2017-05-08 clarified modules;
2017-05-08 wenzelm 2017-05-08 more precise profiles;
2017-05-07 wenzelm 2017-05-07 clarified description vs. file name;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 present build status; tuned;
2017-05-06 wenzelm 2017-05-06 performance statistics from build log database;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 detect database entries;
2017-05-04 wenzelm 2017-05-04 clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;