[CakeML-dev] sec_ok failure

[Magnus Myreen]

I wonder if the range of the Loc instruction is too small at the moment on x64.

On 10 March 2017 at 00:03, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> I'm seeing sec_ok failures in the compiler bootstrap from around at
> least 3072c3a8. Possibly these came out of the refs branch? I'll need
> to run it interactively to investigate..
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers