Fri, 12 May 2017 16:32:53 +0200 |
wenzelm |
explore older history;
|
file |
diff |
annotate
|
Fri, 12 May 2017 16:24:29 +0200 |
wenzelm |
more explicit flag for historic builds;
|
file |
diff |
annotate
|
Fri, 12 May 2017 16:21:13 +0200 |
wenzelm |
proper result for rev == "";
|
file |
diff |
annotate
|
Fri, 12 May 2017 16:11:59 +0200 |
wenzelm |
tuned -- more open to experimentation;
|
file |
diff |
annotate
|
Fri, 12 May 2017 14:40:21 +0200 |
wenzelm |
tuned -- more visible;
|
file |
diff |
annotate
|
Fri, 12 May 2017 14:33:57 +0200 |
wenzelm |
updated to polyml-5.7 for testing (not yet ready for production use);
|
file |
diff |
annotate
|
Wed, 10 May 2017 22:20:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 10 May 2017 17:24:31 +0200 |
wenzelm |
actually plot extended profile history;
|
file |
diff |
annotate
|
Tue, 09 May 2017 21:06:11 +0200 |
wenzelm |
more robust update of generated directory;
|
file |
diff |
annotate
|
Tue, 09 May 2017 19:52:39 +0200 |
wenzelm |
enter deeper into history;
|
file |
diff |
annotate
|
Tue, 09 May 2017 11:21:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 08 May 2017 22:21:36 +0200 |
wenzelm |
pick isabelle_version based on build_log database;
|
file |
diff |
annotate
|
Mon, 08 May 2017 14:08:27 +0200 |
wenzelm |
make index formally within Isabelle/Scala;
|
file |
diff |
annotate
|
Mon, 08 May 2017 12:04:58 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 08 May 2017 11:00:20 +0200 |
wenzelm |
more precise profiles;
|
file |
diff |
annotate
|
Sun, 07 May 2017 23:18:23 +0200 |
wenzelm |
clarified description vs. file name;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:51:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:00:29 +0200 |
wenzelm |
present build status;
|
file |
diff |
annotate
|
Sat, 06 May 2017 00:12:46 +0200 |
wenzelm |
performance statistics from build log database;
|
file |
diff |
annotate
|
Fri, 05 May 2017 20:00:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 05 May 2017 18:15:53 +0200 |
wenzelm |
detect database entries;
|
file |
diff |
annotate
|
Thu, 04 May 2017 15:38:24 +0200 |
wenzelm |
clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
|
file |
diff |
annotate
|
Thu, 04 May 2017 11:31:32 +0200 |
wenzelm |
clarified directory layout;
|
file |
diff |
annotate
|
Thu, 04 May 2017 00:15:11 +0200 |
wenzelm |
produce build_log_snapshot, based on small prefix into pull_date history;
|
file |
diff |
annotate
|
Wed, 03 May 2017 14:55:34 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 02 May 2017 23:31:00 +0200 |
wenzelm |
views for full PostgreSQL database;
|
file |
diff |
annotate
|
Tue, 02 May 2017 21:42:03 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 02 May 2017 14:27:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 02 May 2017 10:12:26 +0200 |
wenzelm |
suppress build_log_snapshot: too bulky;
|
file |
diff |
annotate
|
Mon, 01 May 2017 23:00:23 +0200 |
wenzelm |
more Jenkins logs for build_log database;
|
file |
diff |
annotate
|