CakeML/cakeml

Replace wc.sh with a CakeML program

Open

#614 opened on Jan 31, 2019

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Standard ML (98 forks)auto 404
help wantedtooling

Repository metrics

Stars
 (1,169 stars)
PR merge metrics
 (PR metrics pending)

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.

Contributor guide

Research direction
Familiarize yourself with the existing wordcount program under examples, extend it to handle command line arguments for counting lines in a directory, and integrate it as a Holmake target.
Tech stack
None
Domain
tooling
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
CakeMLHolmake
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70