[CakeML-dev] Building the env-refactor branch
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).
> Developers mailing list
> Developers at cakeml.org
More information about the Developers