CakeML/cakeml

Soft float fallback

オープン

#760 opened on 2020/09/17

 (0 件のコメント) (0 件のリアクション) (0 人の担当者)Standard ML (98 件のフォーク)auto 404
enhancementgood first issuemedium rewarduser experience

Repository metrics

Stars
 (1,169 個のスター)
PR merge metrics
 (PR metrics pending)

説明

It would be nice to make the compiler API as consistent as possible between targets and to eliminate a failure case in the space safety theorem. I expect that this would be tedious but not technically challenging. Doing it at the basis level might be a good test case for unboxing optimizations; doing it in wordLang would be more work with no access to the translator, but could produce a better result with fewer innovations.

コントリビューターガイド