Very nice! Thank you Fabian! Looking forward to a release version.
Tobias
On 19/03/2024 13:21, Fabian Huch wrote:
Today marks 20 years of AFP -- to celebrate, here are a few timings with the new
parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time,
On 3/19/24 19:37, Makarius wrote:
On 19/03/2024 13:21, Fabian Huch wrote:
Today marks 20 years of AFP -- to celebrate, here are a few timings
with the new parallel build (Isabelle/08b83f91a1b2 and
AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
build -A: -X
On 19/03/2024 13:21, Fabian Huch wrote:
Today marks 20 years of AFP -- to celebrate, here are a few timings with the
new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
build -A: -X slow -a
0:43:11 elapsed time,
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
Today marks 20 years of AFP -- to celebrate, here are a few timings with
the new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
build -A: -X slow -a
0:43:11 elapsed time, 72:49:01 cpu time, factor 101.17
build -A: -a