[isabelle-dev] AFP: Failing entries

[Gerwin Klein]

Hi Peter,

thanks for the update.

The last few days have seen isatest failures. The AFP test only runs when isatest is successful on polyml.

The last failure that I saw (today) was on the smlnj platform only, so if nothing else goes wrong it should run through today.

Cheers,
Gerwin

On 25.06.2014, at 8:02 pm, Peter Lammich <lammich at in.tum.de> wrote:

> Hi,
>
> yesterday, I have committed changes that should fix the CAVA-entries.
>
> Testboard has already seen my changes, and everything seems fine there:
>
> http://isabelle.in.tum.de/testboard/Isabelle/report/758870108e44469d8ea5688ab4610492
>
>
> However, the revision 7774f1f22e30 mentioned on
>  http://afp.sourceforge.net/status.shtml
> is 3 days old. When will this be updated?
>
> --
>  Peter
>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.