runtimeverification / runtimeverification/evm-semantics
K README and INSTALL should mention bash version requirements
Open
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
We consistently have MacOS users who have an outdated version of bash, and need to upgrade to use the functionality of many of our runner scripts. https://www.shell-tips.com/mac/upgrade-bash/
We should mention this in the installation/build instructions.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Review the README and INSTALL files, focusing on their installation and build instructions. Document the required Bash version and the need for macOS users with an outdated Bash version to upgrade; the work is done when both instructions clearly mention this requirement.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- bash
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 55/100