src/Pure/Admin/build_log.scala
2 months ago wenzelm 2019-03-25 tuned signature;
7 months ago wenzelm 2018-11-14 clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches");
13 months ago wenzelm 2018-05-13 tuned signature;
14 months ago wenzelm 2018-04-20 support for XZ.Cache;
15 months ago wenzelm 2018-03-02 avoid hardwired parameters; less ambitious defaults: low memory requirements;
19 months ago wenzelm 2017-11-13 tuned signature;
19 months ago wenzelm 2017-11-04 tolerate odd negative times from old log files (before 1698e9ccef2d);
19 months ago wenzelm 2017-11-03 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
19 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
20 months ago wenzelm 2017-10-24 store session sources stamp;
20 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
20 months ago wenzelm 2017-10-16 store theory timings in session in build_log database; tuned;
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;