25 Jan
2022
25 Jan
'22
11:20 a.m.
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