[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

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_Tarski (0:00:28