runtimeverification / runtimeverification/evm-semantics
Want to run with Nix?
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
If you only want the Haskell and Java backends, you could use the test.nix from K framework:
nix-shell test.nix
File: https://github.com/kframework/k/blob/master/test.nix
Also make sure to follow instructions on Frontend page for setting up using the RV binary nix cache. The LLVM backend on KEVM will not work, because of extra dependencies on runtimeverification/blockchain-k-plugin repo.
Then you could clone KEVM and go straight into:
git submodule update --init --recursive
make build-haskell build-lemmas -j8
Note skipping the make deps step.
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 K framework's test.nix, the Frontend page instructions for the RV binary Nix cache, and the KEVM commands shown in the issue. Confirm the Haskell and Java backend path, the skipped make deps step, and the LLVM backend limitation. Done means the Nix setup guidance is documented accurately for this repository.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell, java
- Domain
- build-system, documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 40/100