[CakeML-dev] Evaluating RISC-V codegen
tanyongkiam at gmail.com
Mon Apr 10 03:11:12 UTC 2017
We have some tools to evaluate the compiler in the logic and to extract the
resulting bytes for RISC-V.
However, they aren't as well tested as the x64 backend.
The standalone bootstrapped compiler currently only has the translated x64
On Sun, Apr 9, 2017 at 10:00 PM, Corey Richardson <corey at octayn.net> wrote:
> A member of the RISC-V community would like to evaluate CakeML's codegen
> for that platform. Is there an easy way right now to acquire a compiler,
> or evaluate it in HOL, which can output RISC-V programs?
> (He also noted that the explorer is broken right now, which I believe is
> Developers mailing list
> Developers at cakeml.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Developers