Not yet as we're still experimenting with it.
The first is the distribution, the second the AFP without slow sessions
(which is what is run on the testboard), an the third the AFP with slow
and very slow sessions.
Fabian
On 3/19/24 13:28, Lawrence Paulson wrote:
Very impressive! Is this what the testboard uses now? And I can't quite figure
out what these three runs represent.
Larry
On 19 Mar 2024, at 12:21, Fabian Huch <h...@in.tum.de> wrote:
Today marks 20 years of AFP -- to celebrate, here are a few timings with the
new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
