Re: [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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev