[isabelle-dev] Status of afp-2015
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
> 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:
> 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?
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev