Instructions for profiling and extracting intermediate code at dataLang level
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
This issue is about adding instructions, e.g., to developers/, for
1. Profiling a CakeML program (using @sorear 's symbol additions)
2. Extracting intermediate dataLang code from the compiler
This was suggested during a CakeML online meeting by @myreen and @HeikoBecker.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reviewing the developer documentation under developers/ and locating the existing CakeML profiling and compiler documentation. Document how to profile a CakeML program, including the symbol additions attributed to @sorear, and how to extract intermediate dataLang code. Done means both workflows are explained clearly for developers; no tests are named in the issue.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100