[CakeML-dev] How much RAM?

Magnus Myreen magnus.myreen at gmail.com
Tue Mar 14 09:04:16 UTC 2017

Hi all,

How much RAM is required or desirable for running CakeML regression tests?

I know that 64 GB is enough. Can one run them in reasonable time with
less? Does having more help at the moment?


More information about the Developers mailing list