[CakeML-dev] sec_ok failure

Magnus Myreen magnus.myreen at gmail.com
Fri Mar 10 06:41:52 UTC 2017

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

More information about the Developers mailing list