runtimeverification/stable-mir-json

Graph Improvements: Removing `lang-start` component from graph

Open

#109 ouverte le 23 nov. 2025

Voir sur GitHub
 (0 commentaires) (0 réactions) (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

Rust allows you to choose a start function other than "main", however by default "main" is the start function. There is code prior to invoking the start function to determine what it is. Often this is uninteresting to us, so it would be good to add a flag to optionally remove it from the graph.

Guide contributeur

Direction de recherche
Ajoutez un drapeau en ligne de commande pour ignorer optionnellement le composant `lang start` dans la génération du graphe. Vous devez modifier le code de génération du graphe pour vérifier ce drapeau et ignorer le bloc de la fonction de démarrage s'il est défini. Regardez comment la fonction de démarrage est actuellement résolue et insérée dans le graphe. Assurez vous que le drapeau est documenté et testé.
Stack technique
rust
Domaine
compilers
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.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Rust
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70