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

3225 Commits (f6c1782f2282ff63433fc4a9c3e29856fafdbf98)
 

Author SHA1 Message Date
Nikhil Parasaram f6c1782f22
Merge branch 'develop' into fix/timeout
6 years ago
Nikhil Parasaram 86dede1306
Update to 0.20.2
6 years ago
Nikhil Parasaram d8c4705b2f Add reset_start_time()
6 years ago
Nikhil Parasaram 566a994710 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/timeout
6 years ago
JoranHonig 0711f0bcac
Merge pull request #963 from ConsenSys/constantinople/add
6 years ago
JoranHonig 0caf430fec
Merge branch 'develop' into constantinople/add
6 years ago
Nikhil Parasaram 0efe9f4537
Update version to v0.20.1
6 years ago
Nikhil Parasaram 6518fd6ecb
Merge pull request #949 from ConsenSys/bugfix/lineno
6 years ago
JoranHonig 36e236d4b5
Merge branch 'develop' into bugfix/lineno
6 years ago
Nikhil Parasaram 15864aad6e Rename time handler and the execution timeout variable
6 years ago
JoranHonig 71a3f6d457
Merge branch 'develop' into constantinople/add
6 years ago
JoranHonig 29b90eb09f
Merge pull request #951 from ConsenSys/truffle/warning
6 years ago
JoranHonig 0956840ed3
Merge branch 'develop' into truffle/warning
6 years ago
JoranHonig 6ee45daf1f
Merge pull request #962 from ConsenSys/bugfix/memory_reference
6 years ago
JoranHonig 1d14790512
Merge branch 'develop' into bugfix/memory_reference
6 years ago
JoranHonig 83b71409d2
Merge branch 'develop' into constantinople/add
6 years ago
Nikhil Parasaram 3563c5b281
Merge branch 'develop' into truffle/warning
6 years ago
Nikhil Parasaram a2ded023aa
Merge pull request #953 from ConsenSys/fix/examples
6 years ago
JoranHonig d62e777f90
Update mythril/laser/smt/bitvec.py
6 years ago
JoranHonig 1aba834904
Merge branch 'develop' into fix/examples
6 years ago
JoranHonig 89bdd91725
Merge branch 'develop' into truffle/warning
6 years ago
JoranHonig d78f690367
Merge branch 'develop' into bugfix/memory_reference
6 years ago
Joran Honig 910b366318 update expected test results
6 years ago
Nikhil Parasaram 71f0d0f625 Fix typehints
6 years ago
Nikhil Parasaram d581a15131 Refactor with black
6 years ago
Nikhil Parasaram 303891aed2 Use new opcodes file over pyethereum
6 years ago
Nikhil Parasaram a1d79f3f1e Support BitVecFuncs
6 years ago
Nikhil Parasaram 8c1c054d41 Reuse code of leftshift and right shift
6 years ago
Nikhil Parasaram 7cc9a3de8f Add the BitWise instructions
6 years ago
Nikhil Parasaram e2e86aa1be Add create2 stub
6 years ago
Joran Honig 074557b624 use shallow copy versus deepcopy
6 years ago
Joran Honig dfea10193f make copy take a slice of the memory vs the ref to the memory array
6 years ago
Nikhil Parasaram 376a6604f5 Add type hints to start_execution function
6 years ago
Nikhil Parasaram ecd975023d Change the execution timeout based on the tx count
6 years ago
Nikhil Parasaram fcf3578158
Update the defaults cli.py
6 years ago
Bernhard Mueller 87fc786888
Update README.md
6 years ago
Nikhil Parasaram 1bbd821f1e
Merge pull request #950 from ConsenSys/enhance/940
6 years ago
Nikhil Parasaram c794fc0372
Merge branch 'develop' into enhance/940
6 years ago
Bernhard Mueller fc0c63d368
Update README.md
6 years ago
Nikhil Parasaram d55b27d7a0
Merge branch 'develop' into enhance/940
6 years ago
Nikhil Parasaram 420a16e08e Fix more require statements in rubixi
6 years ago
Nikhil Parasaram 80fa123639 Fix rubixi.sol and walletlibrary.sol
6 years ago
Nikhil Parasaram 1a0ead5eac Add deprecation warning for truffle
6 years ago
Nikhil Parasaram fa13ef8650 Refactor cli.py
6 years ago
Nikhil Parasaram 85b749fa0c add support for logs
6 years ago
JoranHonig 40d02c662a
Merge pull request #943 from ConsenSys/enhance/941
6 years ago
Nikhil Parasaram 7b80c75910 Change the error message and function name
6 years ago
JoranHonig 22a29cd0b9
Merge branch 'develop' into enhance/941
6 years ago
Nikhil Parasaram 84d5c8652e Move start_time.py to support and reinitialize the start_time to every contract
6 years ago
Nikhil Parasaram 3afdf31ec1 Handle -1 case in solidity file mapping
6 years ago