Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [polyml] Towards the next release (5.9)


view this post on Zulip Email Gateway (Oct 30 2021 at 20:12):

From: Makarius <makarius@sketis.net>
As of Isabelle/455549306166 we are testing prospective Poly/ML 5.9, which is
to be released soon (see below).

So far it looks good. I have bundled native arm64-linux with the component,
but not arm64-darwin, because x86_64-darwin is faster with Rosetta 2.

Lets see how it works on Isabelle + AFP within the coming weeks ...

Makarius

-------- Forwarded Message --------
Subject: [polyml] Towards the next release (5.9)
Date: Sat, 30 Oct 2021 08:50:35 +0100
From: David Matthews <David.Matthews@prolingua.co.uk>
To: PolyML mailing list <polyml@inf.ed.ac.uk>

I'm intending to release the current master on github as version 5.9 in the
near future. Could I ask everyone to give it a try and let me know if there
are any serious bugs that need to be fixed. The main differences are the
ARM64 code-generator, the new bootstrap process and position-independent code.
This was described in greater detail back in May
http://lists.inf.ed.ac.uk/pipermail/polyml/2021-May/002451.html . There have
also been other smaller changes and fixes.

David


polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Jul 15 2022 at 23:21 UTC