CakeML/cakeml

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

Aberta

#246 aberto em 13 de mar. de 2017

 (6 comentários) (0 reação) (1 responsável)Standard ML (98 forks)auto 404
good first issueperformance

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

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

Guia do colaborador