[isabelle-dev] Haskabelle test
Hi, Is there anyone who knows how the Haskabelle test is setup and can change it so it runs not only if the Haskabelle repository changes, but also if the Isabelle repository changed? -- Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Fwd: [isabelle] seL4 open source
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 + From: Gerwin Klein gerwin.kl...@nicta.com.au To: USR Isabelle Mailinglist isabelle-us...@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 signature.asc Description: OpenPGP digital signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Haskabelle test
Is there anyone who knows how the Haskabelle test is setup and can change it so it runs not only if the Haskabelle repository changes, but also if the Isabelle repository changed? I guess you are referring to the Haskabelle test inside mira. As far as I remember, this is the behaviour of the mira scheduler, but my memory is very dim. The most clear hints maybe can glimpsed from the mira source. Hope this helps, Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de signature.asc Description: OpenPGP digital signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fwd: [isabelle] seL4 open source
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.haftm...@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 + From: Gerwin Klein gerwin.kl...@nicta.com.au To: USR Isabelle Mailinglist isabelle-us...@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-...@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. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev