[CakeML-dev] Building the env-refactor branch

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Wed Feb 15 11:15:45 UTC 2017

I think it's c59c4caf4

On 15 February 2017 at 18:04, Magnus Myreen <magnus.myreen at gmail.com> wrote:
> Hi all,
> What is the correct HOL commit for building env-refactor?
> I'm asking because I hope to try to speed up ml_progLib, which is
> making the bootstrap translation ridiculously slow at the moment (on
> master). The improvement is best done on env-refactor because that
> branch will soon be merged into master (I hope).
> Cheers,
> Magnus
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list