[isabelle-dev] Final consolidation for Isabelle2018-RC2

[Tobias Nipkow]

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.

Tobias

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.
> 
> Manuel
> 
> 
> On 2018-07-18 12:53, Makarius wrote:
>> 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
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180719/136ee211/attachment.bin>