Add support for subprocesses in CakeML
Open
high effort
uncertain scope
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
This is about adding support for OS.Process.system to CakeML. Note that this issue includes adding models such that one can reason about sub processes.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the existing OS.Process.system entry point and the surrounding CakeML support for process operations. The work is complete when CakeML supports subprocesses through OS.Process.system and includes models that allow reasoning about those subprocesses.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, operating-systems
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100