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

3626 Commits (berndtz_experimental)
 

Author SHA1 Message Date
Bernhard Mueller d2ef90c4e6 Change log statement to debug
6 years ago
Bernhard Mueller b3bb498086 Refactor & add explanative comments
6 years ago
Bernhard Mueller a6eeeec83f Fix type annotations
6 years ago
Bernhard Mueller 7826f104fd Fix type annotations
6 years ago
Bernhard Mueller 2743cda431 Merge branch 'bounded_loops' into berndtz_experimental
6 years ago
Bernhard Mueller d020d693ab Merge branch 'develop' into berndtz_experimental
6 years ago
Bernhard Mueller de7de27e56 Merge branch 'refactor_integer_module' into berndtz_experimental
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
Bernhard Mueller 39d1b40f06 Update
6 years ago
Bernhard Mueller 9e433586b8 Lolkatze
6 years ago
Nikhil Parasaram 4d16e8f7fb
Fix suicide module by constraining to attacker (#1071)
6 years ago
Bernhard Mueller 227bd102eb Merge branch 'develop' of github.com:ConsenSys/mythril into berndtz_experimental
6 years ago
Bernhard Mueller 63635b653e Add experimental dependency pruner
6 years ago
Nikhil Parasaram c4c932e1aa
Mythril v0.20.9
6 years ago
Bernhard Mueller d0eeb520f6 Create plugin scaffold
6 years ago
Bernhard Mueller 5fee666198 Update integer
6 years ago
Bernhard Mueller 89ea53401f Re-black
6 years ago
Bernhard Mueller 2cb7d1419b Resolve merge conflicts
6 years ago
Bernhard Mueller f4e2b382e6 Do your black
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 1f6dfacc4b Updates
6 years ago
Bernhard Mueller d6f3787fb5 Set parallelism=true
6 years ago
Bernhard Mueller 23c085038f Merge branch 'dynamic_timeout_presets' into berndtz_experimental
6 years ago
Bernhard Mueller a63812b197 Move debug line to the right position
6 years ago
Bernhard Mueller 5fb3ac98c6 Resolve merge conflict
6 years ago
Bernhard Mueller 0e71d2c335 Resolve merge conflicts
6 years ago
Bernhard Mueller 3b2fb9b89f Merge branch 'bounded_loops' into berndtz_experimental
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 89d7d971c2 Update values
6 years ago
Bernhard Mueller 68041ef123 Add dynamic timeout presets
6 years ago
Bernhard Mueller 11eeff8be3 Resolve merge conflicts
6 years ago
Bernhard Mueller ea9ae33d79 Whatever
6 years ago
Bernhard Mueller 1ffb53118f Merge remote-tracking branch 'origin/storage/refactor' into berndtz_experimental
6 years ago
Bernhard Mueller bf7127c459
Merge branch 'develop' into bounded_loops
6 years ago
Bernhard Mueller 88f6b7398e Merge branch 'refactor_integer_module' into berndtz_experimental
6 years ago
Bernhard Mueller ba2ed3c1be Add missing import (again?)
6 years ago