runtimeverification/stable-mir-json

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

Open

#109 geöffnet am 23. Nov. 2025

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (5 Forks)auto 404
good first issue

Repository-Metriken

Stars
 (10 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Fügen Sie ein Kommandozeilen Flag hinzu, um die `lang start` Komponente in der Graphenerstellung optional zu überspringen. Sie müssen den Code zur Graphenerstellung ändern, um dieses Flag zu überprüfen und den Startfunktionsblock zu überspringen, wenn es gesetzt ist. Sehen Sie sich an, wie die Startfunktion derzeit aufgelöst und in den Graphen eingefügt wird. Stellen Sie sicher, dass das Flag dokumentiert und getestet wird.
Tech Stack
rust
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Rust
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70