CakeML/cakeml

Remove unnecessary header words

Ouverte

#142 ouverte le 1 sept. 2016

Voir sur GitHub
 (1 commentaire) (0 réaction) (1 personne assignée)Standard ML (98 forks)auto 404
enhancementhelp wantedmedium effortmedium rewardperformance

Métriques du dépôt

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

Description

For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.

Guide contributeur

Direction de recherche
Examinez l'invariant `data to wordProps` dans le code source de CakeML pour comprendre comment les mots d'en tête sont actuellement utilisés pour les données dont la balise et la longueur tiennent dans un pointeur. Proposez ensuite une modification pour éliminer le mot d'en tête dans ces cas, en veillant à mettre à jour l'invariant en conséquence.
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.
3
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
GitBasic understanding of ML and compilers
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60