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

Makarius makarius at sketis.net
Sat Oct 30 22:11:55 CEST 2021

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 ...


-------- Forwarded Message --------
Subject: [polyml] Towards the next release (5.9)
Date: Sat, 30 Oct 2021 08:50:35 +0100
From: David Matthews <David.Matthews at prolingua.co.uk>
To: PolyML mailing list <polyml at 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.

polyml mailing list
polyml at inf.ed.ac.uk

More information about the isabelle-dev mailing list