CakeML / CakeML/cakeml

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

Open
#246 6 comments 0 reactions 1 assignee Claimed by @ncough View on GitHub
good first issue performance
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

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

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.