[isabelle-dev] status (AFP)

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Mon May 5 11:49:26 CEST 2014

Am 05.05.2014 um 11:17 schrieb Johannes Hölzl <hoelzl at in.tum.de>:

> Has anybody an idea why the AFP test for Probabilistic_Noninterference
> fails?
> When I build it on my machine

Same on my machine, and same for Selection_Heap_Sort, Native_Word, and Launchbury: All work fine on my machine.

(HyperCTL has been broken since it has been introduced. We need Andrei to look at it.)


More information about the isabelle-dev mailing list