runtimeverification/stable-mir-json

Graph Improvements: Mutability specifiers on locals

Open

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

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>

Contributor Guide

Research-Richtung
Finde den Code, der lokale Variablen im Graphen formatiert und anzeigt. Füge Logik hinzu, um die Veränderlichkeit zu erkennen (z.B. aus dem MIR oder Artefakt) und stelle 'mut' vor den lokalen Namen, wenn er veränderlich ist.
Tech Stack
rust
Domain
backenddeveloper experience
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.
Meist klar
Voraussetzungen
Rust
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60