[isabelle-dev] Fwd: status (AFP)

[Gerwin Klein]

The AFP test is back to testing against normal isabelle tip. I'm assuming the failures below are due to that.

Cheers,
Gerwin

Begin forwarded message:

> From: Gerwin Klein <kleing at ertos.nicta.com.au>
> Date: 11 October 2011 6:50:46 AM AEDT
> To: <kleing at cse.unsw.edu.au>
> Subject: status (AFP)
> 
> The status of the following AFP entries changed or remains FAIL: 
> [Valuation] changed from ok to FAIL.
> [LinearQuantifierElim] changed from ok to FAIL.
> [SumSquares] changed from ok to FAIL.
> [JinjaThreads] changed from ok to FAIL.
> [Nat-Interval-Logic] changed from ok to FAIL.
> [RSAPSS] changed from ok to FAIL.
> [List-Infinite] changed from ok to FAIL.
> [AutoFocus-Stream] changed from ok to FAIL.
> [Group-Ring-Module] changed from ok to FAIL.
> [Fermat3_4] changed from ok to FAIL.
> 
> Full entry status at http://afp.sourceforge.net/status.shtml
> 
> AFP version: development -- hg id 6722646df385
> Isabelle version: devel -- hg id 49e305100097
> Test ended on: lemma, Tue Oct 11 06:50:46 EST 2011.
> 
> Have a nice day,
>  isatest
> 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: report-devel.txt
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20111011/ee53a1d9/attachment-0001.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: afp-test-devel-2011-10-10.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20111011/ee53a1d9/attachment-0001.log>
-------------- next part --------------
>