Extend Runtime Capabilities Analysis (RCA) to support more advanced scenarios
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 1k
- Forks
- 212
- Avg merge
- 3d 8h
- Merged PRs (30d)
- 65
Description
Extending RCA to support the following more advanced scenarios:
- [x] Detailed analysis for closures.
- [x] Detect dynamic results being used as output in entry-point operations.
- [x] #1391
- [ ] #1392
- [x] Disallow dynamic measurements and reset on targets that do not have the reset capability. Reset capability removed.
- [ ] Make RCA callable overrides "runtime-only" instead of creating a generator set for them (since it's only one - `Length` - and it needs to be done at "runtime" anyway).
- [x] #1581
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the remaining unchecked RCA scenario about making callable overrides runtime-only, then inspect the referenced issues #1392 and #1581 for their scope and status. Done means the remaining RCA scenarios are implemented and the checklist can be completed, but the issue does not name files or tests to run.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100