runtimeverification / runtimeverification/stable-mir-json
[MAIN] Graph Improvements
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 11
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
This issue is a top level issue for graph improvements. Sub issues will be attached to this issue for each individual task. They should be clearly outlined so that beginners can approach them. Since the graph is not used as input for KMIR, there cannot be any correctness problems introduced from working with the graph so it is a good playground to start with. Also there is good graphical feedback for additions made so it is probably nice for beginners in that regard too.
Contributor guide
No contributing guide indexed for this repository
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
Treat this issue as an umbrella for graph improvements rather than a standalone task. Start by reviewing its attached sub-issues and choose one with a clearly outlined change; completion criteria should come from that individual task, since this issue does not name files, tests, or a specific outcome.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- data
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100