runtimeverification/stable-mir-json

Graph Improvements: Headings / Ids for `BasicBlock`s

Open

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

Each BasicBlock has an identifer, it would be good if these identifiers could be added as some kind of heading to the block in the graph to quickly link with proof state or json.

Contributor Guide

Research-Richtung
Sehen Sie sich an, wie BasicBlock Identifikatoren derzeit im Grafik Rendering Code verwendet werden, und fügen Sie Überschriften hinzu, die diese Identifikatoren anzeigen.
Tech Stack
rust
Domain
developer experiencetooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
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.
60