CakeML/cakeml

Remove Q.prove in ml_monad_translator_interfaceLib

Aperta

#1153 aperta il 4 apr 2025

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
good first issuerefactoring

Metriche repository

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

Descrizione

As in title. Right now loading that Library is extremely slow.

Guida contributor

Direzione di ricerca
Cerca tutti gli usi di Q.prove in ml monad translator interfaceLib e sostituiscili con metodi di dimostrazione più veloci per migliorare la velocità di caricamento della libreria.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Refactoring
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.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70