Skip to content

Latest commit

 

History

History
47 lines (31 loc) · 2.76 KB

CONTRIBUTING.md

File metadata and controls

47 lines (31 loc) · 2.76 KB

Contributing to Tealer

First, thanks for your interest in contributing to Tealer! We welcome and appreciate all contributions, including bug reports, feature suggestions, tutorials/blog posts, and code improvements.

If you're unsure where to start, we recommend our good first issue and help wanted issue labels.

Bug reports and feature suggestions

Bug reports and feature suggestions can be submitted to our issue tracker. For bug reports, attaching the contract that caused the bug will help us in debugging and resolving the issue quickly. If you find a security vulnerability, do not open an issue; email opensource@trailofbits.com instead.

Questions

Questions can be submitted to the issue tracker, but you may get a faster response if you ask in our chat room (in the #ethereum channel).

One punch editable developement version

Do something like this to clone the repository and install all development dependencies in a python virtual environment

git clone https://github.com/crytic/tealer.git
cd tealer
make dev

Update tealer by running git pull from the tealer/ directory.

Code

Tealer uses the pull request contribution model. Please make an account on Github, fork this repo, and submit code contributions via pull request. For more documentation, look here.

Some pull request guidelines:

  • Work from the dev branch. We performed extensive tests prior to merging anything to master, working from dev will allow us to merge your work faster.
  • Minimize irrelevant changes (formatting, whitespace, etc) to code that would otherwise not be touched by this patch. Save formatting or style corrections for a separate pull request that does not make any semantic changes.
  • When possible, large changes should be split up into smaller focused pull requests.
  • Fill out the pull request description with a summary of what your patch does, key changes that have been made, and any further points of discussion, if applicable.
  • Title your pull request with a brief description of what it's changing. "Fixes #123" is a good comment to add to the description, but makes for an unclear title on its own.

Linters

Several linters and security checkers are run on the PRs.

To run them locally in the root dir of the repository:

  • pylint tealer --rcfile pyproject.toml
  • black tealer --config pyproject.toml
  • mypy tealer --config mypy.ini

Install the linters with pip install .[dev]. We use pylint 2.13.4, black 22.3.0, mypy 0.942.