[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves
hupel at in.tum.de
Thu Nov 19 10:21:45 CET 2015
> What is the reason for this? No access to suitable computing machines?
currently, the "new" testboard only performs "makeall" on the
distribution. As I wrote in my mail from yesterday, I'm working on it. I
expect to be able to make a recommendation on how to reinstate regular
testing within this week.
More information about the isabelle-dev