isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle