<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><tt>I had what seems to be a spurious failure of
Probabilistic_Timed_Automata yesterday:
<a class="moz-txt-link-freetext" href="https://ci.isabelle.systems/jenkins/job/testboard/50/consoleFull">https://ci.isabelle.systems/jenkins/job/testboard/50/consoleFull</a></tt></p>
<p><tt>The error message is:</tt></p>
<pre class="console-output" style="box-sizing: border-box; white-space: pre-wrap; word-wrap: break-word; margin: 0px; color: rgb(51, 51, 51); font-size: 13px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">*** exception THM 0 raised (line 1136 of "thm.ML"): generalize: bad index
I am quite sure that my (purely cosmetic) changes are completely unrelated to that error and a later test run of virtually the same thing worked fine.
Perhaps this should be investigated before the release.
Manuel
</pre>
<br>
<div class="moz-cite-prefix">On 2018-07-18 12:53, Makarius wrote:<br>
</div>
<blockquote type="cite"
cite="mid:14a5bb2e-1ba7-525f-4f70-60c9bfbd8792@sketis.net">
<pre wrap="">This is a reminder that we are in the final consolidation phase towards
Isabelle2018-RC2.
I will say more precisely when the fork of the isabelle-dev vs.
isabelle-release repositories will happen, presumably in the next few
days. After return from FLoC I still need to sort out many details, and
some genuine problems (apart from inevitable last-minute additions).
Makarius
_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>