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

3945 Commits (model-balances)
 

Author SHA1 Message Date
Bernhard Mueller b3d63c0fef Merge branch 'develop'
5 years ago
Bernhard Mueller a56f6d25df Bump version
5 years ago
Bernhard Mueller c46b2a8911 Merge branch 'develop'
5 years ago
Bernhard Mueller fe1f428dd4
Merge pull request #1133 from ConsenSys/fix/memory
5 years ago
Bernhard Mueller f42eb86cdb
Merge branch 'develop' into fix/memory
5 years ago
Bernhard Mueller 052b8988e3 testCase -> testCases
5 years ago
Bernhard Mueller 4024e18fb6
Merge branch 'develop' into fix/memory
5 years ago
Nikhil 2f6302a8c1 Fix Call for graph test and use a fixed itr for symbolic size
5 years ago
Bernhard Mueller 730873285b
Merge pull request #1142 from ConsenSys/develop
5 years ago
Bernhard Mueller 6076b6a782
Bump version
5 years ago
Bernhard Mueller 60ee9f3c97
Merge branch 'develop' into fix/memory
5 years ago
Aleksandr Sobolev 31f1a5c37e Enable Dynamodb module (#1140)
5 years ago
Nikhil Parasaram 05f95e1f26
Add docs about the size checks in BitVec
5 years ago
Bernhard Mueller 5f1d7112ae
Merge pull request #1139 from ConsenSys/fix/bitvec_eq
5 years ago
Bernhard Mueller a14249ab86 Set correct RPC port for Ganache
5 years ago
Nikhil 0ffe709429 Handle __eq__ and __ne__ for BitVecs with different sizes
5 years ago
Bernhard Mueller 3c411ca948
Merge branch 'develop' into fix/memory
5 years ago
Bernhard Mueller ba76b1b43a
Merge pull request #1136 from ConsenSys/handle_bvs
5 years ago
Bernhard Mueller aa48d598e0
Increase integration testing timeout to 90s
5 years ago
Bernhard Mueller 5a5ec8e368
Merge branch 'develop' into handle_bvs
5 years ago
Bernhard Mueller 1ddcd95da1
Merge branch 'develop' into fix/memory
5 years ago
Bernhard Mueller 5e9d61f1e1
Merge pull request #1137 from ConsenSys/addess_fix
5 years ago
Bernhard Mueller 9319ff9ae9 Fix loader crash caused by missing zero padding of address strings
5 years ago
Nikhil 3575ceb452 Revert changes in storage file
5 years ago
Nikhil 756fa94dd2 Handle BitVecFunc inputs
5 years ago
Bernhard Mueller 294b71711e
Merge pull request #1134 from ConsenSys/develop
5 years ago
Bernhard Mueller 613bb9ae58
Bump version
5 years ago
Bernhard Mueller b3ef04bb09 Merge branch 'develop'
5 years ago
Nikhil 556d138d50 Fix type hints
5 years ago
Nikhil 541182db03 Fix the graph tests
5 years ago
Bernhard Mueller 4458ec07c3
Merge pull request #1131 from ConsenSys/add_tx_data
5 years ago
Nikhil d7b4f6b4e8 Use dictionary for memory
5 years ago
Nikhil Parasaram a26d8e3391
Merge branch 'develop' into add_tx_data
5 years ago
Nikhil c900abad81 Check for None as constraints
5 years ago
Bernhard Mueller 2fb31c8eed Rename DoS module to follow conventions
5 years ago
Bernhard Mueller f9964c36b9 Remove cache logic from DoS module (fixes false positives)
5 years ago
Bernhard Mueller eb00b16fa3
Merge pull request #1128 from ConsenSys/add_tx_data
5 years ago
Nikhil 2ad4665399 Merge branch 'add_tx_data' of github.com:ConsenSys/mythril into add_tx_data
5 years ago
Nikhil b1dc618ec7 Use a power of 2 for LRU cache size
5 years ago
Bernhard Mueller f6820175bd Change second list to tuple
5 years ago
Bernhard Mueller eb4f0bc268
Merge branch 'develop' into add_tx_data
5 years ago
Bernhard Mueller 43386d537b
Merge pull request #1129 from ConsenSys/develop
5 years ago
Bernhard Mueller 004a9f6189 Add explanative comments
5 years ago
Nikhil 8a99bc2032 Use a tuple and add type hints
5 years ago
Nikhil 2376f67caa Merge branch 'new_tx' into add_tx_data
5 years ago
Nikhil ffb50a8fa9 Add LRU cache to speedup
5 years ago
Bernhard Mueller bbf436569c
Merge pull request #1127 from ConsenSys/pruning_fixes
5 years ago
Bernhard Mueller ec4acd85ec Fix issues in dependency pruning plugin
5 years ago
Nikhil b688b1164c Add cache for all modules
5 years ago
Nikhil e39e7481d1 Add cache for dos module
5 years ago