[isabelle-dev] Fwd: status (AFP)

Gerwin Klein gerwin.klein at nicta.com.au
Tue Oct 11 12:22:57 CEST 2011

On 11/10/2011, at 8:43 PM, Makarius wrote:

> On Tue, 11 Oct 2011, Makarius wrote:
>> On Tue, 11 Oct 2011, Gerwin Klein wrote:
>>> The AFP test is back to testing against normal isabelle tip. I'm assuming the failures below are due to that.
>> Maybe it is better to leave it at isabelle-release until AFP for Isabelle2011-1 is finalized.  I have ran some unsystematic tests on it and it produces very few failures.
> What is the status of AFP anyway?  In the afp-devel repository I see both a release tag (0e48fb185542) and post-release changes (eef0ef1627f9).

AFP is in the process of being released. This takes ages, because it needs to run every entry which takes > 10h. Adding a random problem here and there, and you're  looking at 2 days.

I've branched the 2011-1 release version, so in theory it's safe to push to devel as usual, I just didn't want to announce it yet before the release process isn't finished.


More information about the isabelle-dev mailing list