[CakeML-dev] Evaluating RISC-V codegen
corey at octayn.net
Mon Apr 10 02:00:10 UTC 2017
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 488 bytes
Desc: OpenPGP digital signature
More information about the Developers