CakeML / CakeML/cakeml

Link binary with (recently added) features - Pancake

Open
#1,469 11 comments 0 reactions 0 assignees View on GitHub
Pancake
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

based on some feedback from the local Pancake users:

As more features are added, we often find ourselves in a situation where we have to figure out what features are supported by a particular binary we have at hand. This is certainly possible via some chasing, but it would be nice to have more direct ways to obtain such information, e.g.:

- add links to the corresponding PRs/commits/binary for each entry in `pancake/NEWS.md` (which connects human readable form to binary)
- add an option to binary that prints out the most recently added features (or even just the content of `NEWS.md`, up to the newly added features)

Contributor guide

No contributing guide indexed for this repository

Research direction

Start with pancake/NEWS.md and trace how the Pancake binary exposes or could expose feature information. Compare the binary's supported features with the NEWS entries, then establish whether completion means linked PRs, commits, or binaries for each entry, a recent-feature option, or NEWS content output.

Written by the indexing model from the issue text.

Assessment

Domain
cli, compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.