runtimeverification/stable-mir-json

Qualified names for both `IntrinsicSym` and `NormalSym`

Open

#137 aperta il 5 mar 2026

Vedi su GitHub
 (1 commento) (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 IntrinsicSym serialises with the short name (e.g. black_box) and NormalSym serialises with the mangled name (e.g. _ZN4core9panicking19assert_failed_inner17h1d286061ca0adfe7E). Both have upsides and downsides:

  • short name is concise but ambiguous (which black_box? Hard to tell just by reading)
  • mangled name is unambiguous but too verbose

#85 was going to use the mangled name for intrinsics, but this would not fix the verbosity problem.

A middle ground for both would be a qualified name

This comment for some more context

Guida contributor

Direzione di ricerca
Implementa l'estrazione del nome qualificato per IntrinsicSym e NormalSym demanglando i simboli e mappandoli sui percorsi utilizzando i metadati del compilatore.
Tech stack
rust
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
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.
50