Sun, 16 Oct 2016 17:52:25 +0200 removed useless operation -- would require bash_process wrapper;
wenzelm [Sun, 16 Oct 2016 17:52:25 +0200] rev 64258
removed useless operation -- would require bash_process wrapper;
Sun, 16 Oct 2016 17:50:40 +0200 tuned signature;
wenzelm [Sun, 16 Oct 2016 17:50:40 +0200] rev 64257
tuned signature;
Sun, 16 Oct 2016 17:44:37 +0200 simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
wenzelm [Sun, 16 Oct 2016 17:44:37 +0200] rev 64256
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
Sun, 16 Oct 2016 17:10:24 +0200 more robust;
wenzelm [Sun, 16 Oct 2016 17:10:24 +0200] rev 64255
more robust;
Sun, 16 Oct 2016 16:58:09 +0200 sftp.mkdirs according to 2a5dbad75355;
wenzelm [Sun, 16 Oct 2016 16:58:09 +0200] rev 64254
sftp.mkdirs according to 2a5dbad75355;
Sun, 16 Oct 2016 16:57:48 +0200 more compression for big log files;
wenzelm [Sun, 16 Oct 2016 16:57:48 +0200] rev 64253
more compression for big log files;
Sun, 16 Oct 2016 13:27:01 +0200 clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm [Sun, 16 Oct 2016 13:27:01 +0200] rev 64252
clarified setup_repository: more uniform pull vs. clone, without update;
Sun, 16 Oct 2016 13:11:47 +0200 proper setup of fresh repository;
wenzelm [Sun, 16 Oct 2016 13:11:47 +0200] rev 64251
proper setup of fresh repository;
Sun, 16 Oct 2016 13:47:37 +0200 clarified prover-specific rules
haftmann [Sun, 16 Oct 2016 13:47:37 +0200] rev 64250
clarified prover-specific rules
Sun, 16 Oct 2016 13:47:36 +0200 dropped potentially explosive rule for groebner simpset, with no observable effect on examples
haftmann [Sun, 16 Oct 2016 13:47:36 +0200] rev 64249
dropped potentially explosive rule for groebner simpset, with no observable effect on examples
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip