runtimeverification / runtimeverification/evm-semantics
README setup instructions appear outdated
Open
Beginner friendly
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
The README setup instructions do not include setup for solc. It seems that version >=0.8 is required.
The instructions on solc's installation resources worked for me:
sudo add-apt-repository ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install solc
solc --version
solc, the solidity compiler commandline interface
Version: 0.8.11+commit.d7f03943.Linux.g++
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
Start by reading the README setup section and compare it with the solc installation resources referenced in the issue. Update the setup instructions to include solc installation and the required version (>=0.8), then verify that the documented commands are complete and accurate.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 78/100