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

3907 Commits (jinja-print-initial-state)
 

Author SHA1 Message Date
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
Bernhard Mueller ba2ed3c1be Add missing import (again?)
6 years ago
Bernhard Mueller caa1da47e9 Merge branch 'bounded_loops' of github.com:ConsenSys/mythril into bounded_loops
6 years ago
Bernhard Mueller 41ce266318 Decouple analysis module & re-set limit to 4
6 years ago
Bernhard Mueller fada2c5b38 Enable effects check
6 years ago
Bernhard Mueller eaec4906bc Re-add the cache
6 years ago
Bernhard Mueller 696c51d531 Merge branch 'develop' into refactor_integer_module
6 years ago
Bernhard Mueller 770b964340 Remove annoying log.info in exceptions module
6 years ago
Bernhard Mueller 68c85215ee Remove debugging, disable effects check
6 years ago
Aleksandr Sobolev 008e3f08b0 Merge branch 'improvement/tool-based-integration-tests' of github.com:ConsenSys/mythril into improvement/tool-based-integration-tests
6 years ago
Aleksandr Sobolev bae7eac1cd Remove branch from circle ci workflow
6 years ago
Aleksandr Sobolev a7f1e0c9b7
Merge branch 'develop' into improvement/tool-based-integration-tests
6 years ago
Aleksandr Sobolev 72066c8f82 Increase timeout param
6 years ago
Bernhard Mueller 19ba9b895a Remove unused helper function
6 years ago
Bernhard Mueller bb2487e8bf Remove overflow cache as it no longer speeds up the analysis
6 years ago
Bernhard Mueller 7dcdb5d96c
Merge branch 'develop' into bounded_loops
6 years ago
Bernhard Mueller 01990f3298 Remove constraints dump
6 years ago
Bernhard Mueller c81642e1f3 Merge branch 'refactor_integer_module' of github.com:ConsenSys/mythril into refactor_integer_module
6 years ago
Bernhard Mueller 37d2fee4a8 Ad even more debugging
6 years ago
Bernhard Mueller f30375c0d3
Merge branch 'develop' into refactor_integer_module
6 years ago
Nikhil Parasaram fadeaea98c
Fix problem with requirements (#1066)
6 years ago
Bernhard Mueller e3539977a5
Merge branch 'develop' into bounded_loops
6 years ago
Bernhard Mueller 9bb124913c
Merge branch 'develop' into improvement/tool-based-integration-tests
6 years ago
Bernhard Mueller 9f17033ccd Never forget black
6 years ago
Bernhard Mueller c121372792 Refactor integer module
6 years ago
Bernhard Mueller 45e77166cc Set jumpest limit to 2 (aborts at 3rd iteration)
6 years ago