CakeML/cakeml

Soft float fallback

Offen

#760 geöffnet am 17.09.2020

 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
enhancementgood first issuemedium rewarduser experience

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide