TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4093 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: harvey_style_assertions
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'harvey_style_assertions'
${ noResults }
Commit Graph

4093 Commits (harvey_style_assertions)
 

Author SHA1 Message Date
Bernhard Mueller a3a979bb55 A little black can't hurt
6 years ago
Bernhard Mueller 43e0991acd Refactor to only consider concrete cases (for now)
6 years ago
Bernhard Mueller 82559dd0a5 Now without log.info
6 years ago
Bernhard Mueller 57883f2d63 Add 'support' for symbolic storage addresses
6 years ago
Bernhard Mueller 337d3e7ea9 Add hack
6 years ago
Bernhard Mueller cdbda2a81c Add mutation pruner & debut usage of get_concrete_int
6 years ago
Bernhard Mueller a7bad0e96b Fix annotation copy
6 years ago
Bernhard Mueller 34d6270864 Add caller constraints to all relevant modules
6 years ago
Bernhard Mueller 22d286e136 Check constraints on caller in delegatecall module
6 years ago
Aleksandr Sobolev e3fe79f777 Define ENV variable to suspend regressions reporting for some testcases
6 years ago
Bernhard Mueller 558dd42390
Merge pull request #1076 from ConsenSys/bugfix/bectoken
6 years ago
Bernhard Mueller a579ec549a
Merge branch 'develop' into bugfix/bectoken
6 years ago
Bernhard Mueller 0107a6212d
Merge pull request #1077 from ConsenSys/improvement/circleci-envs
6 years ago
Aleksandr Sobolev 07b99c5166 Remove temporary branch from workflow
6 years ago
Nikhil Parasaram 11c31be1a9
Merge branch 'develop' into bugfix/bectoken
6 years ago
Nikhil Parasaram bedbc7d287 Fix storage tests
6 years ago
Aleksandr Sobolev bf90a12241 Add required env variables to Edelweiss container
6 years ago
Nikhil Parasaram b3bf6fbcde Fix Storage and calldata
6 years ago
Bernhard Mueller dcb0bf3fb0
Merge pull request #1065 from ConsenSys/improvement/tool-based-integration-tests
6 years ago
Bernhard Mueller 08d1d30a91
Merge branch 'develop' into improvement/tool-based-integration-tests
6 years ago
Bernhard Mueller c755a58dc4
Merge pull request #1074 from ConsenSys/bugfix/module_dir
6 years ago
Joran Honig 3e5df1c05c make dir python module
6 years ago
Nikhil Parasaram 3a4cfb96e0
Change badge for docs
6 years ago
Nikhil Parasaram 6bcc392347
Update mythril to mythril classic as docs link
6 years ago
Bernhard Mueller 3b3425861f
Merge pull request #1060 from ConsenSys/bounded_loops
6 years ago
Bernhard Mueller 1f032dd90d
Merge branch 'develop' into bounded_loops
6 years ago
Bernhard Mueller 80422b4a3d
Merge pull request #1067 from ConsenSys/refactor_integer_module
6 years ago
Bernhard Mueller 2f4648341c Fix type hints
6 years ago
Bernhard Mueller 63c2eadb33
Merge branch 'develop' into refactor_integer_module
6 years ago
Bernhard Mueller 1faaf2a21d Update comment
6 years ago
Bernhard Mueller a15d38c8b2 Fix processing of return, change lists to sets
6 years ago
Bernhard Mueller 58cf0c6efc Comment out the handle_return code again
6 years ago
Bernhard Mueller 1b73ddec12 Norhh suggestion + some refactoring
6 years ago
Bernhard Mueller f9788dcaf7 Norhh suggestions
6 years ago
Bernhard Mueller 3eb9ebbcd9 Merge branch 'bounded_loops' of github.com:ConsenSys/mythril into bounded_loops
6 years ago
Bernhard Mueller 294105f924 Catch possible TypeError
6 years ago
Bernhard Mueller c57296e34b
Merge branch 'develop' into bounded_loops
6 years ago
Nikhil Parasaram 93f882123f
fix docs (#1072)
6 years ago
Nikhil Parasaram 5737b8db52
Change mythril-classic to Mythril
6 years ago
Nikhil Parasaram 1204e80863
Change mythril-classic to Mythril
6 years ago
Nikhil Parasaram 4d16e8f7fb
Fix suicide module by constraining to attacker (#1071)
6 years ago
Nikhil Parasaram c4c932e1aa
Mythril v0.20.9
6 years ago
Bernhard Mueller 5e9498b39d Reset all caches in reset_module
6 years ago
Bernhard Mueller d554a5ae07 Optimization: Cache satisifability of overflowing states
6 years ago
Bernhard Mueller f27f1acb9e Try fix for CircleCI failure
6 years ago
Bernhard Mueller b0828e17fa Pass though loop_count arg
6 years ago
Bernhard Mueller 6292ccd216 Add 'loop-bound' CLI argument'
6 years ago
Bernhard Mueller 780ea9ab9b Black
6 years ago
Bernhard Mueller 438786d12e
Merge branch 'develop' into bugfix/1055
6 years ago
Bernhard Mueller bf7127c459
Merge branch 'develop' into bounded_loops
6 years ago