[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves
florian.haftmann at informatik.tu-muenchen.de
Thu Nov 19 10:16:41 CET 2015
Thanks to all who have invested time and energy to work on those issues.
Nevertheless I have the impression that in the last time there have have
been lots of movements in the distribution being speculative in the
sense that no systematic testing including the AFP had taken place.
What is the reason for this? No access to suitable computing machines?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 198 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev