Trig functions
Open
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
It would be nice to have verified implementations of transcendentals (sin, cos, etc) in CakeML. Prior work has been done by John Harrison in his thesis (implementation of CORDIC) and also, at the ISA level, at Intel.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no files, tests, or entry points. Start by reviewing John Harrison’s thesis on CORDIC and the Intel ISA-level work, then identify the appropriate CakeML entry point for verified transcendental implementations; done means verified implementations of functions such as sin and cos are integrated.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100