Add principled support for widening in the Dataflow Framework
Open
- Dominant language
- Lean
- Stars
- 109
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
The title essentially. Is this just for the sparse analysis api? Or for all generic analyses? Which layer of the API should this be in? The dataflow framework object itself or in the sparse analysis api or just implicit to the analysis? etc. etc.
Contributor guide
No contributing guide indexed for this repository
Research direction
No files or tests are named. Start by locating the Dataflow Framework and sparse analysis API, then determine whether widening belongs in the framework object, the sparse API, or individual analyses; done means the scope and API layer for principled widening support are defined.
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
- Active
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100