[CakeML-dev] Evaluating RISC-V codegen

[Corey Richardson]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170409/63353544/attachment.asc>