[CakeML-dev] Evaluating RISC-V codegen

[Yong Kiam]

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>