CakeML/cakeml

Remove Q.prove in ml_monad_translator_interfaceLib

Ouverte

#1 153 ouverte le 4 avr. 2025

Voir sur GitHub
 (2 commentaires) (0 réaction) (0 personne assignée)Standard ML (98 forks)auto 404
good first issuerefactoring

Métriques du dépôt

Stars
 (1 169 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

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

Guide contributeur

Direction de recherche
Recherchez toutes les utilisations de Q.prove dans ml monad translator interfaceLib et remplacez les par des méthodes de preuve plus rapides pour améliorer la vitesse de chargement de la bibliothèque.
Stack technique
Aucun
Domaine
compilers
Type d'issue
Refactorisation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70