[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves

Florian Haftmann 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?



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151119/77cff19c/attachment.sig>

More information about the isabelle-dev mailing list