[isabelle-dev] Fwd: [isabelle] seL4 open source

[Gerwin Klein]

Do you meant for keeping it in sync with Isabelle devel?

We’re usually staying on the release versions these days and update with every new Isabelle release (should be starting right now, but everyone is busy atm).

Might be interesting to set up a branch that tracks the isabelle repo. I’d be happy to help if anyone is interested, although it would probably be more work than the AFP - our proofs aren’t always very pretty ;-)

Cheers,
Gerwin

On 02.08.2014, at 4:56 am, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> If someone seriously plans to setup a jenkins environment or something
> similar, this seems to be a nice candidate for inclusion.
>
>       Florian
>
> -------- Forwarded Message --------
> Subject: [isabelle] seL4 open source
> Date: Tue, 29 Jul 2014 10:55:45 +0000
> From: Gerwin Klein <Gerwin.Klein at nicta.com.au>
> To: USR Isabelle Mailinglist <isabelle-users at cl.cam.ac.uk>
>
> The Isabelle proofs for the seL4 microkernel are now out on
>  http://github.com/seL4/l4v
>
> and the code on
>  http://github.com/seL4/seL4
>
> For more information see http://sel4.systems
>
> Enjoy!
> Gerwin
>
> ps: let us know if you are developing anything cool with or on the
> proofs or the kernel -- we will probably set up a list of community
> projects when a few of these have taken off.
>
>
> ________________________________
>
> 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.
>
>
> --
>
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
>
>
>
> _______________________________________________
> 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.