[isabelle-dev] Final consolidation for Isabelle2018-RC2
nipkow at in.tum.de
Thu Jul 19 13:42:42 CEST 2018
I have the same problem, and on my machine it is reproduceable (and it did not
go away over the past week, although I tried different versions of the devel
repository). However, I cannot reproduce the problem on testboard.
On 18/07/2018 17:05, Manuel Eberl wrote:
> I had what seems to be a spurious failure of Probabilistic_Timed_Automata
> yesterday: https://ci.isabelle.systems/jenkins/job/testboard/50/consoleFull
> The error message is:
> *** 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.
> On 2018-07-18 12:53, Makarius wrote:
>> This is a reminder that we are in the final consolidation phase towards
>> 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).
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev