CakeML/cakeml

Replace wc.sh with a CakeML program

Ouverte

#614 ouverte le 31 janv. 2019

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Standard ML (98 forks)auto 404
help wantedtooling

Métriques du dépôt

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

Description

developers/wc.sh is a shell script (that is probably out of date) for counting the number of lines in the CakeML repository. This issue is to replace this script with a CakeML program (we already have a wordcount program under examples) that does the same job. In particular, to figure out how to build and call the verified CakeML wordcount program, extended with arguments/functionality as required, and record this as something like a Holmake target.

Guide contributeur

Direction de recherche
Familiarisez vous avec le programme wordcount existant dans examples, étendez le pour gérer les arguments de ligne de commande pour compter les lignes dans un répertoire et intégrez le en tant que cible Holmake.
Stack technique
Aucun
Domaine
tooling
Type d'issue
Fonctionnalité
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.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
CakeMLHolmake
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70