tuned signature;

support for XZ.Cache;

avoid hardwired parameters;
less ambitious defaults: low memory requirements;

tuned signature;

tolerate odd negative times from old log files (before 1698e9ccef2d);

plain identify job for Isabelle + AFP, independent of any Isabelle technology;

more informative timeout message, notably for build_status;

store session sources stamp;

more thorough treatment of afp_version and afp_pull_date;

store theory timings in session in build_log database;
tuned;

provide theory timing information, similar to command timing but always considered relevant;

clarified afp_pull_date: both repository versions are relevant;

support for AFP versions;

tuned signature;

tuned signature;

support for AFP versions;

tuned message;

store errors in build_history logs and database;

store errors in build db;

clarified use of XML.Cache;

proper ml_statistics;

tuned;

eliminated unused operations;

tuned signature;

clarified universal table: include ml_statistics;

tuned;

pick isabelle_version based on build_log database;

tuned (again);

tuned -- inlined single use;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

tuned;

clarified signature;

tuned;

performance statistics from build log database;

tuned signature;

clarified universal view: include pull_date;

clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;

clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;

redundant;

tuned;

eliminated unused afp_pull_date table;
tuned;

slightly more compact file;

omit parentheses for the sake of SQLite;

more snapshot content;

more direct insert_permissive statement, which avoids somewhat fragile nested transactions;

tuned signature;

simplified: standard toString is SQL.ident;

tuned;

tuned signature;

clarified signature;

tuned signature;

tuned signature;

tuned signature;

clarified modules;

clarified pull_date tables;
support for SQLite snapshot;

views for full PostgreSQL database;

eliminated redundant type SQL.View;
eliminated unused DROP operations;

tuned;

tuned signature;

tuned;

detect old log files (early 2016);

explicit support for multiple regexes;

some derived data fields, to facilitate queries;

tuned signature;

more general pattern;

approximate repository identify job based on isabelle-nightly-slow;
more Jenkins changeset patterns found in the wild;

create full view on build_log data, but avoid bombing sqlitebrowser;

more operations;
tuned;

more robust detection of Jenkins log;

detect Jenkins log files as well;

detect host name;

tuned signature;

tuned signature;

parse ml_statistics only when required;

clarified database layout: bulky ml_statistics are stored/retrieved separately;

clarified dummy Session_Entry;

clarified database update operations;
more efficient log_file processing;
tuned;

exclude special log files;

ssh_close for proper termination after use of database;

tuned;

tuned signature;

clarified database content;

optional ml_statistics: much faster;

proper query (amending ce15da15f8e2);

put bulky data last;

tuned;

more log files;

clarified multi-line properties;

dummy session entry for empty build_info: relevant for filter_files;

tuned query, notably for isabelle_build_log_build_info;

operations to read database;

tuned signature;

tuned transaction granularity;

clarified database layout;

tuned signature: avoid null in regular Scala code;

clarified transaction boundaries: more robust incremental write operations;

clarified database layout;

more uniform storage of Meta_Info;

clarified plain_name / log_name;

tuned comment;

tuned signature;

separate small meta_info vs. big build_info;

unused;

tuned signature;

more standard multi-line storage in database: Prop.separator is only required for single-line meta_info within log file;

clarified filter_files: sorted and unique;

database storage of Meta_Info and Build_Info;

support for database connection;

more SQL operations;

more robust (see also 6688b9cd443b);

clarified signature;

eliminated somewhat redundant inlined name (despite a7aa17a1f721);

tuned;

tuned comments;

more operations;

avoid deprecated Scala;

another attempt to squeeze a list into a property list entry;

clarified multiple props: result needs to fit on a single line within the log file;

clarified properties;

tuned;

support for free-form build tags;
tuned;

explicit identification of builds and correlated build groups;

more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base);

clarified log_subdir vs. log_filename;
support for sequential and parallel task blocks (unnamed);

clarified files;

--HG--
rename : src/Pure/Tools/build_history.scala => src/Pure/Admin/build_history.scala
rename : src/Pure/Tools/build_log.scala => src/Pure/Admin/build_log.scala
rename : src/Pure/Tools/ci_api.scala => src/Pure/Admin/ci_api.scala
rename : src/Pure/Tools/ci_profile.scala => src/Pure/Admin/ci_profile.scala