leanprover-community/ProofWidgets4

Add Speedscope component for visualizing profiler flamegraphs

Aperta

#6 aperta il 13 apr 2023

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Lean (45 fork)auto 404
enhancementgood first issuehelp wanted

Metriche repository

Star
 (219 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

It was requested on Zulip here. It looks like at the moment the best way to do this is via an iframe. The iframe would need to be able to fetch the profiling data via AJAX.

Guida contributor

Direzione di ricerca
Investiga come incorporare Speedscope tramite iframe e recuperare i dati di profilazione con AJAX all'interno di un UserWidget di Lean 4.
Tech stack
javascripthtml
Dominio
frontenddeveloper 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
JavaScriptHTML
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65