[isabelle-dev] AFP: Failing entries

Gerwin Klein Gerwin.Klein at nicta.com.au
Wed Jun 25 13:25:03 CEST 2014

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.


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.

More information about the isabelle-dev mailing list