mythril

Commit Graph

Author	SHA1	Message	Date
Daniel Bast	9bbe7d607e	Add pre-commit hook definition + test (#1877 ) * Add pre-commit hook + test * Update README.md * Update README.md * update README.md Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com> --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com> Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com>	3 months ago
Daniel Bast	f39b050f3b	Enable dependabot (#1870 )	3 months ago
Daniel Bast	1384ef55b5	Allow z3-solver<=4.13.0.0, streamline Dockerfile (#1867 )	3 months ago
Daniel Bast	25de4e7cc3	Run black + ruff via pre-commit, fix findings to reduce requirements.txt (#1865 ) * Run black via pre-commit + Github Action workflow, update black * Apply black via pre-commit * Enable ruff + rulset "F" via pre-commit * Apply ruff via pre-commit * Manual lint fixes * Apply review comments --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	4 months ago
gsalzer	d82bd717af	Update of bug template (#1725 ) Fix: info about how to obtain Mythril version	2 years ago
Nikhil Parasaram	f8f59dfdd2	Update docs and Add tutorial (#1664 ) * Add exit code * Update docs with tutorial * Fix docs * Reformat	2 years ago
rocky	b7da7e9482	swc_id -> swc-id Tweak issue issue templates	6 years ago
rocky	f69a8439db	Put issue instructions in comments... so users don't have to delete them. In bug-report.md, put possibly the more likley thing to do at the top.	6 years ago
rocky	e90b7ce46f	Merge OS and OS-version fields	6 years ago
rocky	1408b8b920	Include Python version on bug report.	6 years ago
rocky	abd1bb8ae0	Revise issue templates	6 years ago
JoranHonig	91cfa91657	Create initial issue templates for a bug report and analysis module	7 years ago

12 Commits (dependabot/pip/markupsafe-lt-3.1.0)