[isabelle-dev] Status of afp-2015

Tobias Nipkow nipkow at in.tum.de
Tue Apr 28 18:23:34 CEST 2015

These entries probably fail because of some changes of mine. However, some of 
them, eg KBPs work for me with afp-2014/5b629c5350bf.


On 28/04/2015 15:25, Makarius wrote:
> I am confused about the status of afp-2015 wrt. current Isabelle2015 release
> candidates.
> According to my own post on isabelle-users, Isabelle2015-RC1 and
> AFP/a44a0c9e17ef correspond to each other.  It was a stable point after days of
> chaos before entering the final release process.
> That relative stability seems to have been lost again:
>    isabelle-release/18267ceb10b5
>    afp-2015/d8cda568cd81
> Unfinished session(s): Call_Arity, Circus, Depth-First-Search, FunWithFunctions,
> Girth_Chromatic, KBPs, Launchbury, Markov_Models,
> Random_Graph_Subgraph_Threshold, Separation_Logic_Imperative_HOL, UpDown_Scheme
> That is without the "slow" sessions.
> Is afp-2015 actually tested anywhere?
>      Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150428/64b9f002/attachment.bin>

More information about the isabelle-dev mailing list