runtimeverification/stable-mir-json

[MAIN] Graph Improvements

Open

#106 ouverte le 23 nov. 2025

Voir sur GitHub
 (1 commentaire) (1 réaction) (0 assignés)Rust (5 forks)auto 404
good first issue

Métriques du dépôt

Stars
 (10 stars)
Métriques de merge PR
 (Métriques PR en attente)

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.

Guide contributeur

Direction de recherche
Explorez l'implémentation du graphe existant et identifiez un sous problème spécifique sur lequel travailler, comme l'ajout d'une visualisation ou l'amélioration du parcours du graphe.
Stack technique
rust
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
1
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
GitRust
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
85