runtimeverification/stable-mir-json

Graph Improvements: Mutability specifiers on locals

Open

#108 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

Currently there are no mutability specifiers on locals, often this means trying to figure out from context, or the json artifact, or the KMIR proof state what the mutability is. Sometimes this information is not close together and it takes time to track down.

^^^ Local 3 must have been mutable, since Local 5 has a mutable reference to it.

Much like rust, probably the best representation is omitting information if it is immutable, and adding mut prefixed if it is mutable.

So the example in the image above, it would be clearer if it printed in the LOCALS:

3 = mut std::array::IntoIter<i32, 1>

Guida contributor

Direzione di ricerca
Trova il codice che formatta e mostra le variabili locali nel grafico. Aggiungi logica per rilevare la mutabilità (ad esempio dal MIR o dall'artefatto) e anteponi 'mut' al nome della locale se è mutabile.
Tech stack
rust
Dominio
backenddeveloper experience
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.
Abbastanza chiara
Prerequisiti
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60