CakeML/cakeml

Remove set_trace on var_eq_old

Ouverte

#1 171 ouverte le 7 mai 2025

Voir sur GitHub
 (4 commentaires) (0 réaction) (1 personne assignée)Standard ML (98 forks)auto 404
help wantedrefactoring

Métriques du dépôt

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

Description

There's a bunch of these:

set_trace "BasicProvers.var_eq_old" 1

in the codebase.

It would be good to remove these toggles as they're a bit gross.

Guide contributeur

Direction de recherche
Recherchez la chaîne 'set trace "BasicProvers.var eq old" 1' dans le code et supprimez ces lignes. Avant de supprimer, vérifiez que le module 'BasicProvers.var eq old' n'est pas utilisé ailleurs.
Stack technique
Aucun
Domaine
compilerstooling
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.
1
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Moins d'une heure
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.
90