[isabelle-dev] Status of afp-2015

Gerwin Klein Gerwin.Klein at nicta.com.au
Wed Apr 29 08:30:52 CEST 2015

Confirmed: isabelle/18267ceb10b5 + afp/d8cda568cd81 pass the full build.

This one took 6:52h, but was running more sequentially, I guess.


> On 28 Apr 2015, at 11:16 pm, Makarius <makarius at sketis.net> wrote:
> On Tue, 28 Apr 2015, Gerwin Klein wrote:
>> Have also kicked off a full test on afp-2015 now and if all goes well, I’ll switch it to automated once a day until the release.
>> Looks like another bit of infrastructure overhaul is needed in my scripts for running afp-test in parallel for an upcoming release and devel.
>> I don’t expect that things will break much, though.
> OK.  My manual test was succesful with Isabelle/18267ceb10b5 and AFP/d8cda568cd81 -- it takes about 2.5h total.
> I don't expect significant changes to the Isabelle2015 anymore, especially not changes in the proof tools and libraries.
>       Makarius


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.

More information about the isabelle-dev mailing list