Email Gateway (Sep 18 2022 at 14:06): Email Gateway (Sep 18 2022 at 14:06):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are making quick progress with the Isabelle2022, which is to be finalized
until 23-Oct-2022.
The release process is continuously documented on the blog entry
https://isabelle-dev.sketis.net/phame/post/view/58/release_candidates_for_isabelle2022
--- this includes a list of notable changes.
The current release candidate is
https://isabelle.sketis.net/website-Isabelle2022-RC2
A corresponding version of the Archive of Formal Proofs is
https://isabelle.sketis.net/repos/afp-devel/rev/34a31d29f666.
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject (not just a clone of the announcement).
Makarius
Email Gateway (Sep 29 2022 at 16:43):From: Peter Lammich <lammich@in.tum.de>
Report on porting Isabelle-LLVM to 2022-RC2:
except for the vanished syntactic typeclass for signed_division (see
previous mail), I had no problems at all to port Isabelle-LLVM to the
2022-RC2 version.
Email Gateway (Sep 30 2022 at 06:44):From: "\"Blanchette, J.C. (Jasmin Christian)\"" <cl-isabelle-users@lists.cam.ac.uk>
Hi Peter,
Yes, it's trying different parameters for the provers. Sometimes the proof just ends up being the same.
Cheers,
Jasmin
Last updated: Jan 04 2025 at 20:18 UTC