runtimeverification/stable-mir-json

Graph Improvements: Headings / Ids for `BasicBlock`s

Open

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

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.

Guida contributor

Direzione di ricerca
Guarda come gli identificatori BasicBlock sono attualmente utilizzati nel codice di rendering del grafico e aggiungi intestazioni che li visualizzano.
Tech stack
rust
Dominio
developer experiencetooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
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.
60