https://github.com/b-mueller/mythril
History
Tip revision: 8718a4501fcb7e8773b25354c4cb2e031b1d5c63 authored by Nikhil Parasaram on 31 January 2022, 09:45:29 UTC
Helper functions for symbolic summaries (#1587)
Tip revision: 8718a45
File Mode Size
.circleci
.github
docs
mypy-stubs
mythril
solidity_examples
static
tests
.drone.yml -rw-r--r-- 1.4 KB
.editorconfig -rw-r--r-- 164 bytes
.gitattributes -rw-r--r-- 120 bytes
.gitignore -rw-r--r-- 2.4 KB
.pre-commit-config.yaml -rw-r--r-- 197 bytes
CONTRIBUTING.md -rw-r--r-- 1.4 KB
Dockerfile -rw-r--r-- 1.2 KB
LICENSE -rw-r--r-- 1.1 KB
MANIFEST.in -rw-r--r-- 94 bytes
README.md -rw-r--r-- 4.1 KB
all_tests.sh -rwxr-xr-x 679 bytes
coverage_report.sh -rwxr-xr-x 484 bytes
docker_build_and_deploy.sh -rwxr-xr-x 373 bytes
myth -rwxr-xr-x 277 bytes
requirements.txt -rw-r--r-- 613 bytes
setup.py -rwxr-xr-x 3.5 KB
tox.ini -rw-r--r-- 1.2 KB

README.md

back to top