On Sat, Oct 3, 2020, at 11:15 AM, Stefan O'Rear wrote: > controlled conditions. I am currently attempting several runs of the flaky > program with the attached patch applied and will update for the results, > although I suspect this does not address the root cause.
That workaround has been fairly effective so far. Running Holmake in examples/compilation/x64/proofs of cakeml 9a0180e or 018eec6 and HOL d4ac035 or d77d0c6, I have 22 crashes out of 338 successful runs with 5.8.1, and 0 crashes from >1000 runs with poly b478663 and the patch attached to the previous message. I have also completed three runs of the full cakeml CI build (except compiler/bootstrap/compilation/*) with the patched poly, although I do not have a base rate for that. -s _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
