Default Branch

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

ZIP  TAR.GZ

Branches

hashfixes e195ad720d · Use hashlib over ancient hash modules · Updated 3 years ago	181 2		ZIP  TAR.GZ
improvement/circleci-envs 07b99c5166 · Remove temporary branch from workflow · Updated 6 years ago	1282 0	Included	ZIP  TAR.GZ
improvement/udpate-circle-ci e1b692597c · Inject missing env variables · Updated 5 years ago	988 1		ZIP  TAR.GZ
integer_experimental 782cf0b432 · Remove unused import · Updated 6 years ago	1349 4		ZIP  TAR.GZ
integer_fix b90ef552bb · Simplify constraints · Updated 5 years ago	1115 2		ZIP  TAR.GZ
jinja-print-initial-state 2b356174fd · Updated jinja templates to report initial state of the transaction sequences. · Updated 5 years ago	989 1		ZIP  TAR.GZ
master d22da1c212 · Merge to Master (#1680) · Updated 2 years ago	270 1		ZIP  TAR.GZ
metrics_plugin 77be009ca9 · Merge branch 'develop' into metrics_plugin · Updated 5 years ago	644 5		ZIP  TAR.GZ
model-balances 1cd1d95376 · Merge branch 'develop' into model-balances · Updated 5 years ago	950 0	Included	ZIP  TAR.GZ
notify-unreachable-code 24e27412fd · Added ProgramCounterException to display a clearer message when pc is out of bounds. · Updated 5 years ago	977 1		ZIP  TAR.GZ
optimise/summaries 8870fe11bd · Disable sonar · Updated 10 months ago	36 6		ZIP  TAR.GZ
optimizer d25b1b5c88 · Enable optimizer when compiling Soldity files · Updated 5 years ago	791 1		ZIP  TAR.GZ
origin_model f731c3bbde · Don't use PotentialIssue system in deprectated ops module · Updated 5 years ago	465 0	Included	ZIP  TAR.GZ
pending-opcodes 4aba7ebfb7 · Merge branch 'develop' into pending-opcodes · Updated 5 years ago	809 0	Included	ZIP  TAR.GZ
pr/894 b99d52e496 · use list instead of list comprehension · Updated 6 years ago	1894 2		ZIP  TAR.GZ
readme b4501ec147 · Merge branch 'master' of github.com:ConsenSys/mythril · Updated 5 years ago	1007 0	Included	ZIP  TAR.GZ
refactor/cli 21fa8b38af · Update docs after cli refactor · Updated 5 years ago	1190 2		ZIP  TAR.GZ
remove/dos a4118e14b8 · Remove dos · Updated 5 years ago	685 7		ZIP  TAR.GZ
remove_deprecated_taint 999e1a22c8 · remove old tainting logic · Updated 6 years ago	1717 1		ZIP  TAR.GZ
remove_pragma 6d0075d95c · Fix the SolidityContractTest · Updated 5 years ago	1008 2		ZIP  TAR.GZ