Default Branch

develop 8201bfd75f · Fix issues with statespace on solc 0.8.26 (#1863) · Updated 3 months ago

ZIP  TAR.GZ

Branches

concrete_ite_storage 533389d18a · Add a few more tests · Updated 5 years ago	993 39		ZIP  TAR.GZ
config-change 5516926b19 · Merge branch 'develop' of github.com:ConsenSys/mythril into config-change · Updated 11 months ago	39 4		ZIP  TAR.GZ
constantinope-reentrancy-check 571c8708ba · Add constantinople reentrancy check modules · Updated 6 years ago	2025 2		ZIP  TAR.GZ
delegatecall_fix ac08f903fb · Merge branch 'develop' into delegatecall_fix · Updated 6 years ago	1268 0	Included	ZIP  TAR.GZ
dependabot/pip/markupsafe-lt-3.1.0 e2611ac545 · Update markupsafe requirement from <2.2.0 to <3.1.0 · Updated 1 month ago	0 1		ZIP  TAR.GZ
dependabot/pip/py-evm-0.10.1b2 26fc2d1090 · Bump py-evm from 0.10.1b1 to 0.10.1b2 · Updated 3 months ago	1 1		ZIP  TAR.GZ
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0 48ccc8def8 · Update z3-solver requirement · Updated 1 month ago	0 1		ZIP  TAR.GZ
dependency_prune_v2 8843d7d0da · Handle z3 exceptions when updating dependency map · Updated 6 years ago	1233 0	Included	ZIP  TAR.GZ
dynamic_timeout_presets a63812b197 · Move debug line to the right position · Updated 6 years ago	1357 3		ZIP  TAR.GZ
ether_refactor_2 0a890dfe6d · Trial refactor · Updated 5 years ago	473 1		ZIP  TAR.GZ
ether_thief 1f84fb1fc0 · Use UGT comparison · Updated 5 years ago	478 0	Included	ZIP  TAR.GZ
ether_thief_fix 1a3f4a4acb · Merge pull request #1099 from ConsenSys/develop · Updated 5 years ago	1208 1		ZIP  TAR.GZ
ether_transfer 8b5e484f87 · Simplify ether thief module · Updated 5 years ago	489 0	Included	ZIP  TAR.GZ
external_calls 808d879d64 · Only warn about calls to user-supplied addresses · Updated 5 years ago	472 0	Included	ZIP  TAR.GZ
extract_concat_invariance 37e3b62086 · Add documentation · Updated 5 years ago	964 11		ZIP  TAR.GZ
feat/docker-ci 60861a08c1 · use more secure approach to call docker · Updated 3 years ago	190 1		ZIP  TAR.GZ
feat/merge 87519d62c5 · Remove the partial file · Updated 9 months ago	24 5		ZIP  TAR.GZ
feature/concretise_storage 8adee7fd41 · Increase invariance test scope · Updated 5 years ago	993 32		ZIP  TAR.GZ
feature/feat-eng d067545e8c · merge · Updated 1 year ago	69 1		ZIP  TAR.GZ