runtimeverification/stable-mir-json

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

Open

#109 aperta il 23 nov 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Rust (5 fork)auto 404
good first issue

Metriche repository

Star
 (10 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Aggiungere un flag da riga di comando per saltare opzionalmente il componente `lang start` nella generazione del grafo. È necessario modificare il codice di generazione del grafo per controllare questo flag e saltare il blocco della funzione di avvio se impostato. Guardare come la funzione di avvio viene attualmente risolta e inserita nel grafo. Assicurarsi che il flag sia documentato e testato.
Tech stack
rust
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70