[CakeML-dev] Evaluating RISC-V codegen

Yong Kiam 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
encoder included.

On Sun, Apr 9, 2017 at 10:00 PM, Corey Richardson <corey at octayn.net> wrote:

> Hi,
> 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
> expected)
> Best,
> --
> cmr
> http://octayn.net/
> +16038524272
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170409/7aabc10c/attachment.html>

More information about the Developers mailing list