isabelle: Graph

more Progress variations;
2017-05-21, by wenzelm
more systematic separation of build_history directories (see also 80c1c1f53e72);
2017-05-21, by wenzelm
updated dependencies;
2017-05-21, by wenzelm
added one more simplification to help replay
2017-05-21, by blanchet
adapt to Scala 2.12.x
2017-05-21, by Lars Hupel
updated to postgresql-42.1.1;
2017-05-20, by wenzelm
updated to sqlite-jdbc-3.18.0;
2017-05-20, by wenzelm
keep main build.log to help diagnosing spurious lack of log_path.xz;
2017-05-20, by wenzelm
clarified build_polyml_component;
2017-05-19, by wenzelm
avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
2017-05-19, by wenzelm
updated;
2017-05-19, by wenzelm
more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
2017-05-19, by wenzelm
tuned;
2017-05-19, by wenzelm
suppress ANSI control sequences in Scala console;
2017-05-19, by wenzelm
updated to scala-2.12.2;
2017-05-19, by wenzelm
updated to jdk-8u131;
2017-05-19, by wenzelm
updated to xz-java-1.6;
2017-05-19, by wenzelm
separate keep auxiliary directory, to facilitate error diagnosis;
2017-05-19, by wenzelm
Merged
2017-05-18, by eberlm
more on sublists
2017-05-18, by eberlm
tuned;
2017-05-18, by wenzelm
more charts;
2017-05-18, by wenzelm
uniform heap_scale;
2017-05-18, by wenzelm
more plots from ml_statistics;
2017-05-18, by wenzelm
simplified signature;
2017-05-18, by wenzelm
tuned signature;
2017-05-18, by wenzelm
more JFreeChart operations;
2017-05-18, by wenzelm
do not store bulky ml_statistics;
2017-05-17, by wenzelm
more output;
2017-05-17, by wenzelm
plot average heap size;
2017-05-17, by wenzelm
more systematic maximum and average;
2017-05-17, by wenzelm
clarified use of XML.Cache;
2017-05-17, by wenzelm
proper ml_statistics;
2017-05-17, by wenzelm
store processed content instead of somewhat bulky properties;
2017-05-17, by wenzelm
include full ML statistics: max heap size;
2017-05-17, by wenzelm
tuned;
2017-05-17, by wenzelm
eliminated unused operations;
2017-05-17, by wenzelm
tuned signature;
2017-05-17, by wenzelm
clarified universal table: include ml_statistics;
2017-05-17, by wenzelm
proper order for entry list cons;
2017-05-17, by wenzelm
proper check (amending ad35427dbe88);
2017-05-17, by wenzelm
less restrictive filter: omit empty charts, but show latest timing;
2017-05-16, by wenzelm
prefer explicit output file: potentially more robust than stdout;
2017-05-16, by wenzelm
proper init_settings, before inspecting ML_HOME etc;
2017-05-16, by wenzelm
support for explicit output file: potentially more robust than stdout;
2017-05-16, by wenzelm
proper init_settings for init_component (before generated ML_OPTIONS etc.);
2017-05-16, by wenzelm
more arg_min
2017-05-16, by nipkow
NEWS;
2017-05-15, by wenzelm
history parameters like "Linux A", for more comparable results;
2017-05-15, by wenzelm
merged
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
style for <dl> that is reminiscent of LaTeX;
2017-05-14, by wenzelm
more systematic HTML.init_dir with css;
2017-05-14, by wenzelm
prefer logical markup;
2017-05-14, by wenzelm
extra space only for some structual elements, but not <a>, <b>, <em> etc. (amending 8a0fe5469ba0);
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
implicitly check for unknown files (not part of a Mercurial repository);
2017-05-14, by wenzelm
prefer explicit progress channel;
2017-05-14, by wenzelm
prefer explicit progress channel;
2017-05-14, by wenzelm
more explicit warning/error messages;
2017-05-14, by wenzelm
tuned signature;
2017-05-14, by wenzelm
tuned;
2017-05-14, by wenzelm
clarified interface;
2017-05-14, by wenzelm
more robust command invocation, without defaults from hgrc;
2017-05-14, by wenzelm
clarified: repository files before commit;
2017-05-14, by wenzelm
eliminated suspicious Unicode;
2017-05-14, by wenzelm
clarified notion of known files (before actual commit);
2017-05-14, by wenzelm
explore older history;
2017-05-14, by wenzelm
explicit history_base;
2017-05-14, by wenzelm
explore repository structure, with minimal assumptions about "hg log" output;
2017-05-14, by wenzelm
avoid hardlinks, for more robustness on Windows file-systems;
2017-05-14, by wenzelm
added function arg_min
2017-05-14, by nipkow
merged
2017-05-14, by nipkow
added lemma
2017-05-14, by nipkow
obsolete (see also bdd17b18e103, f533820e7248);
2017-05-14, by wenzelm
relaxed theory dependencies
2017-05-12, by haftmann
explicit theory for factorials
2017-05-12, by haftmann
more lemmas
2017-05-11, by haftmann
explore older history;
2017-05-12, by wenzelm
more explicit flag for historic builds;
2017-05-12, by wenzelm
proper result for rev == "";
2017-05-12, by wenzelm
tuned -- more open to experimentation;
2017-05-12, by wenzelm
tuned -- more visible;
2017-05-12, by wenzelm
updated to polyml-5.7 for testing (not yet ready for production use);
2017-05-12, by wenzelm
tuned;
2017-05-12, by wenzelm
notes on gnuplot;
2017-05-10, by wenzelm
tuned;
2017-05-10, by wenzelm
made SMT reconstruction more complete (bug report by Lukas Bulwahn)
2017-05-10, by blanchet
tuning
2017-05-10, by blanchet
stretch image according to history length;
2017-05-10, by wenzelm
actually plot extended profile history;
2017-05-10, by wenzelm
tuned output;
2017-05-10, by wenzelm
more output;
2017-05-09, by wenzelm
clarified;
2017-05-09, by wenzelm
tuned output;
2017-05-09, by wenzelm
more robust update of generated directory;
2017-05-09, by wenzelm
more output;
2017-05-09, by wenzelm
tuned;
2017-05-09, by wenzelm
obsolete;
2017-05-09, by wenzelm
enter deeper into history;
2017-05-09, by wenzelm
more Jenkins test results;
2017-05-09, by wenzelm
clarified order of output;
2017-05-09, by wenzelm
tuned;
2017-05-09, by wenzelm
tuned signature;
2017-05-09, by wenzelm
tuned message;
2017-05-08, by wenzelm
pick isabelle_version based on build_log database;
2017-05-08, by wenzelm
simplified default;
2017-05-08, by wenzelm
tuned (again);
2017-05-08, by wenzelm
allow column with defining expression;
2017-05-08, by wenzelm
tuned -- inlined single use;
2017-05-08, by wenzelm
tuned signature;
2017-05-08, by wenzelm
tuned signature;
2017-05-08, by wenzelm
tuned signature;
2017-05-08, by wenzelm
tuned signature;
2017-05-08, by wenzelm
clarified signature;
2017-05-08, by wenzelm
clarified image size;
2017-05-08, by wenzelm
proper type for iterated application;
2017-05-08, by wenzelm
make index formally within Isabelle/Scala;
2017-05-08, by wenzelm
clarified modules;
2017-05-08, by wenzelm
plot heap size;
2017-05-08, by wenzelm
more precise profiles;
2017-05-08, by wenzelm
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
2017-05-08, by wenzelm
more specific workaround (see also ed7b5cd3a7f2);
2017-05-08, by wenzelm
cpu time is somewhat redundant for threads=1;
2017-05-07, by wenzelm
clarified description vs. file name;
2017-05-07, by wenzelm
tuned output;
2017-05-07, by wenzelm
clarified types;
2017-05-07, by wenzelm
more operations;
2017-05-07, by wenzelm
more uniform charts;
2017-05-07, by wenzelm
always show ml_timing -- in another chart;
2017-05-07, by wenzelm
removed threshold: redundant due to sorting;
2017-05-07, by wenzelm
tuned output;
2017-05-07, by wenzelm
parallel gnuplot invocation;
2017-05-07, by wenzelm
more HTML output;
2017-05-07, by wenzelm
clarified explicit Build_Status.Data operations;
2017-05-07, by wenzelm
more operations;
2017-05-07, by wenzelm
more uniform threads value, notably for Pure session;
2017-05-07, by wenzelm
tuned;
2017-05-07, by wenzelm
added option verbose for SQL source;
2017-05-06, by wenzelm
merged
2017-05-06, by wenzelm
tuned signature;
2017-05-06, by wenzelm
tuned signature;
2017-05-06, by wenzelm
present build status;
2017-05-06, by wenzelm
tuned;
2017-05-06, by wenzelm
obsolete;
2017-05-06, by wenzelm
clarified name;
2017-05-06, by wenzelm
tuned messages;
2017-05-06, by wenzelm
tuned;
2017-05-06, by wenzelm
clarified signature;
2017-05-06, by wenzelm
unused;
2017-05-06, by wenzelm
tuned;
2017-05-06, by wenzelm
tuned messages;
2017-05-06, by wenzelm
performance statistics from build log database;
2017-05-06, by wenzelm
tuned;
2017-05-05, by wenzelm
legacy version for Jenkins website;
2017-05-05, by wenzelm
tuned;
2017-05-05, by wenzelm
detect database entries;
2017-05-05, by wenzelm
tuned;
2017-05-05, by wenzelm
clarified signature;
2017-05-05, by wenzelm
tuned signature;
2017-05-05, by wenzelm
NEWS: totient 1 = 1 now
2017-05-05, by Manuel Eberl
Merged
2017-05-04, by eberlm
More material on totient function
2017-05-04, by eberlm
merged
2017-05-04, by wenzelm
clarified universal view: include pull_date;
2017-05-04, by wenzelm
clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
2017-05-04, by wenzelm
clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
2017-05-04, by wenzelm
redundant;
2017-05-04, by wenzelm
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
2017-05-04, by paulson
A few more new lemmas
2017-05-04, by paulson
more permissive, e.g. for system operations as in 678e00851cfb;
2017-05-04, by wenzelm
tuned;
2017-05-04, by wenzelm
tuned;
2017-05-04, by wenzelm
prefer standard getOrElse;
2017-05-04, by wenzelm
tuned;
2017-05-04, by wenzelm
tuned;
2017-05-04, by wenzelm
more operations;
2017-05-04, by wenzelm
merged
2017-05-04, by wenzelm
clarified directory layout;
2017-05-04, by wenzelm
eliminated unused afp_pull_date table;
2017-05-04, by wenzelm
slightly more compact file;
2017-05-04, by wenzelm
produce build_log_snapshot, based on small prefix into pull_date history;
2017-05-04, by wenzelm
omit parentheses for the sake of SQLite;
2017-05-03, by wenzelm
more snapshot content;
2017-05-03, by wenzelm
more robust;
2017-05-03, by wenzelm
more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
simplified: standard toString is SQL.ident;
2017-05-03, by wenzelm
tuned;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
clarified signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
clarified modules;
2017-05-03, by wenzelm
clarified pull_date tables;
2017-05-03, by wenzelm
views for full PostgreSQL database;
2017-05-02, by wenzelm
eliminated redundant type SQL.View;
2017-05-02, by wenzelm
tuned;
2017-05-02, by wenzelm
tuned signature;
2017-05-02, by wenzelm
tuned;
2017-05-02, by wenzelm
two new theorems
2017-05-03, by paulson
merged
2017-05-02, by wenzelm
detect old log files (early 2016);
2017-05-02, by wenzelm
explicit support for multiple regexes;
2017-05-02, by wenzelm
some derived data fields, to facilitate queries;
2017-05-02, by wenzelm
tuned signature;
2017-05-02, by wenzelm
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI
2017-05-02, by paulson
Simplification of some proofs. Also key lemmas using !! rather than ! in premises
2017-05-02, by paulson
more general pattern;
2017-05-02, by wenzelm
more timing;
2017-05-02, by wenzelm
proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
2017-05-02, by wenzelm
suppress build_log_snapshot: too bulky;
2017-05-02, by wenzelm
more Jenkins logs for build_log database;
2017-05-01, by wenzelm
approximate repository identify job based on isabelle-nightly-slow;
2017-05-01, by wenzelm
tuned;
2017-05-01, by wenzelm
tuned signature;
2017-05-01, by wenzelm
clarified treatment of qualified names (amending 7ef438495a02);
2017-05-01, by wenzelm
create full view on build_log data, but avoid bombing sqlitebrowser;
2017-05-01, by wenzelm
support for views;
2017-05-01, by wenzelm
more operations;
2017-05-01, by wenzelm
slightly more compact file;
2017-05-01, by wenzelm
incremental download of Jenkins log files, which are also added to database;
2017-05-01, by wenzelm
more robust detection of Jenkins log;
2017-05-01, by wenzelm
detect Jenkins log files as well;
2017-05-01, by wenzelm
detect host name;
2017-05-01, by wenzelm
more parallelism;
2017-05-01, by wenzelm
tuned;
2017-05-01, by wenzelm
proper log_path check;
2017-05-01, by wenzelm
ensure canonical order: latest first;
2017-05-01, by wenzelm
tuned signature;
2017-05-01, by wenzelm
download Jenkins logs with inlined ml_statistics;
2017-05-01, by wenzelm
tuned;
2017-05-01, by wenzelm
clarified signature;
2017-05-01, by wenzelm
tuned signature;
2017-05-01, by wenzelm
read ml_statistics from session logs: .db or .gz files;
2017-05-01, by wenzelm
more informative log_filename;
2017-05-01, by wenzelm
retrieve more than just 100 builds;
2017-04-30, by wenzelm
clarified modules;
2017-04-30, by wenzelm
tuned signature;
2017-04-30, by wenzelm