Email Gateway (Dec 04 2021 at 20:25): Email Gateway (Dec 04 2021 at 20:25):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are getting very close to the end of the Isabelle2021-1 release process.
Presumably the last release candidate is now available
https://isabelle.sketis.net/website-Isabelle2021-1-RC5
See again the blog entry
https://isabelle-dev.sketis.net/phame/post/view/53/release_candidates_for_isabelle2021-1
for details.
There are two notable changes:
* 'quickcheck' and 'try' are back to physical timeout (including GC time
stemming from excessive heap usage).
* Include updated Isabelle/Naproche component, with lots of new examples.
Reminder: Any feedback about release candidates should be posted with a meaningful
Subject (not just a clone of the announcement).
Makarius
Email Gateway (Dec 04 2021 at 20:50):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
Could you clarify what "physical timeout" means, and whether it is possible to adjust it?
I have in fact gotten a goodly amount of benefit in Isabelle2021 from the fact that "try"
can be run for a few minutes or more, as opposed to the relatively short default run time
that it used to have.
Thanks.
Email Gateway (Dec 04 2021 at 22:07):From: Makarius <makarius@sketis.net>
"Physical" means "wall-clock time". In Isabelle2019, Isabelle2020,
Isabelle2021 the GC time was subtracted (to make it more deterministic,
because that could be from other threads).
See also this conclusion of the thread " thread"
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-November/msg00125.html
Makarius
Last updated: Jan 04 2025 at 20:18 UTC