[isabelle-dev] status (AFP)

[Dmitriy Traytel]

Could it be the document preparation?

Dmitriy

Am 05.05.2014 11:17, schrieb Johannes Hölzl:
> Has anybody an idea why the AFP test for Probabilistic_Noninterference
> fails?
>
> When I build it on my machine with either the combination in the email
> (i.e. AFP acd2cc051b4f and Isabelle 52e5bf245b2a) or a recent hg version
> (AFP a0a65428715f and Isabelle d940ad3959c5) it works without problems.
>
>   - Johannes
>
> Am Montag, den 05.05.2014, 07:50 +0200 schrieb Isabelle :
>> The status of the following AFP entries changed or remains FAIL:
>> [Selection_Heap_Sort] is still on FAIL.
>> [Native_Word] is still on FAIL.
>> [HyperCTL] is still on FAIL.
>> [Launchbury] is still on FAIL.
>> [Probabilistic_Noninterference] is still on FAIL.
>>
>> Full entry status at http://afp.sourceforge.net/status.shtml
>>
>> AFP version: development -- hg id acd2cc051b4f
>> Isabelle version: devel -- hg id 52e5bf245b2a
>> Test ended on: macbroy2, Mon May  5 07:50:12 CEST 2014.
>>
>> Have a nice day,
>>    isatest
>>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev