CakeML/cakeml

Add instructions for efficient Div and Mul by (powers of) 2

Ouverte

#246 ouverte le 13 mars 2017

 (6 commentaires) (0 réaction) (1 personne assignée)Standard ML (98 forks)auto 404
good first issueperformance

Métriques du dépôt

Stars
 (1 169 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

In data_to_word (i.e., the closLang ops).

Guide contributeur