Re: [isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference

2014-11-17 Thread Johannes Hölzl
Fixed with 1bcf0828d38c and 7a2b867fa843. Am Montag, den 17.11.2014, 09:13 +0100 schrieb Florian Haftmann: > > isabelle: 059ba950a657 tip > > afp: 0fdf8f639bb4 tip > > Building HOL-Multivariate_Analysis ... > > Running Sturm_Tarski ... > > Running Abstract_Completeness ... > > Finished Sturm_Tarsk

Re: [isabelle-dev] JinjaThreads FAILED

2014-11-17 Thread Johannes Hölzl
Sorry was my mistake, should be fixed with d5a3dbc9da17 now. - Johannes Am Sonntag, den 16.11.2014, 19:48 +0100 schrieb Florian Haftmann: > > isabelle: 059ba950a657 tip > > afp: 0fdf8f639bb4 tip > > Running JinjaThreads ... > > > > > > JinjaThreads FAILED > > (see also > > /mnt/home/haftmann/

[isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference

2014-11-17 Thread Florian Haftmann
> isabelle: 059ba950a657 tip > afp: 0fdf8f639bb4 tip > Building HOL-Multivariate_Analysis ... > Running Sturm_Tarski ... > Running Abstract_Completeness ... > Finished Sturm_Tarski (0:00:28 elapsed time, 0:01:21 cpu time, factor 2.89) > > Abstract_Completeness FAILED > (see also > /mnt/home/haftm