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 <[email protected]>
To: PolyML mailing list <[email protected]>
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
