runtimeverification / runtimeverification/evm-semantics

Rename `kevm-pyk` to `kevm`

Open
#2,122 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

cli enhancement
Dominant language
KCL
Stars
591
Forks
156
Avg merge
2h 19m
Merged PRs (30d)
1

Description

  • Rename the kevm-pyk Python package to kevm
  • Rename the kevm_pyk Python module to kevm
  • Remove the kevm-pyk command from pyproject.toml

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with pyproject.toml and search the repository for references to the kevm-pyk package, kevm_pyk module, and kevm-pyk command. Update the package and module names consistently, remove the command entry, and verify that no old names remain in the packaging or import references.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
build-system, tooling
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.