src/Pure/Admin/build_log.scala
20 months ago wenzelm 2017-10-16 provide theory timing information, similar to command timing but always considered relevant;
20 months ago wenzelm 2017-10-14 clarified afp_pull_date: both repository versions are relevant;
20 months ago wenzelm 2017-10-13 support for AFP versions;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-13 support for AFP versions;
2017-06-09 wenzelm 2017-06-09 tuned message;
2017-05-26 wenzelm 2017-05-26 store errors in build_history logs and database;
2017-05-26 wenzelm 2017-05-26 store errors in build db;
2017-05-17 wenzelm 2017-05-17 clarified use of XML.Cache;
2017-05-17 wenzelm 2017-05-17 proper ml_statistics;
2017-05-17 wenzelm 2017-05-17 tuned;
2017-05-17 wenzelm 2017-05-17 eliminated unused operations;
2017-05-17 wenzelm 2017-05-17 tuned signature;
2017-05-17 wenzelm 2017-05-17 clarified universal table: include ml_statistics;
2017-05-12 wenzelm 2017-05-12 tuned;
2017-05-08 wenzelm 2017-05-08 pick isabelle_version based on build_log database;
2017-05-08 wenzelm 2017-05-08 tuned (again);
2017-05-08 wenzelm 2017-05-08 tuned -- inlined single use;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 clarified signature;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 performance statistics from build log database;
2017-05-05 wenzelm 2017-05-05 tuned signature;
2017-05-04 wenzelm 2017-05-04 clarified universal view: include pull_date;
2017-05-04 wenzelm 2017-05-04 clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
2017-05-04 wenzelm 2017-05-04 clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
2017-05-04 wenzelm 2017-05-04 redundant;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-04 wenzelm 2017-05-04 eliminated unused afp_pull_date table; tuned;
2017-05-04 wenzelm 2017-05-04 slightly more compact file;
2017-05-03 wenzelm 2017-05-03 omit parentheses for the sake of SQLite;
2017-05-03 wenzelm 2017-05-03 more snapshot content;
2017-05-03 wenzelm 2017-05-03 more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 simplified: standard toString is SQL.ident;
2017-05-03 wenzelm 2017-05-03 tuned;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 clarified signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 clarified modules;
2017-05-03 wenzelm 2017-05-03 clarified pull_date tables; support for SQLite snapshot;
2017-05-02 wenzelm 2017-05-02 views for full PostgreSQL database;
2017-05-02 wenzelm 2017-05-02 eliminated redundant type SQL.View; eliminated unused DROP operations;
2017-05-02 wenzelm 2017-05-02 tuned;
2017-05-02 wenzelm 2017-05-02 tuned signature;
2017-05-02 wenzelm 2017-05-02 tuned;
2017-05-02 wenzelm 2017-05-02 detect old log files (early 2016);
2017-05-02 wenzelm 2017-05-02 explicit support for multiple regexes;
2017-05-02 wenzelm 2017-05-02 some derived data fields, to facilitate queries;
2017-05-02 wenzelm 2017-05-02 tuned signature;
2017-05-02 wenzelm 2017-05-02 more general pattern;
2017-05-01 wenzelm 2017-05-01 approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;
2017-05-01 wenzelm 2017-05-01 create full view on build_log data, but avoid bombing sqlitebrowser;