Tobias
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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
