You’re right, it is currently not tested automatically. I was going to set this up on the weekend, but didn’t manage to.
As far as I’m aware, there weren’t any commits to afp-2015 after the fork apart from one update that was a leaf node that I checked manually. Isabelle-RC has moved, though. Will look at getting the test up again tonight. Cheers, Gerwin > On 28 Apr 2015, at 3:25 pm, Makarius <makar...@sketis.net> 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-...@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
