I've pushed some more updates to git master. These are mostly
improvements to the code, particularly floating point, but there are
some fixes to bugs that could have produced bus errors or segmentation
faults.
David
On 17/01/2022 23:44, Michael Norrish via polyml wrote:
I’m getting random SIGSEGVs while building HOL with latest git on an Apple
Silicon MacBook Pro. These don’t always occur, but when they do, they have (so
far) always been in one of two places.
Michael
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
