[CakeML-dev] Building the env-refactor branch

[Ramana Kumar]

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