Commit Graph

4406 Commits (ether_transfer)
 

Author SHA1 Message Date
Joran Honig 22da6a7ce9 implement initial loader test 5 years ago
Joran Honig 064837d814 add interface tests 5 years ago
Joran Honig a27c8258fb expose plugin loader interface 5 years ago
Joran Honig 7ba773331b expose mythril plugin interfaces 5 years ago
Joran Honig b399131fdb add plugin loading handling base 5 years ago
Bernhard Mueller 49aa7462e5 Disable even more Infura-reliant tests 5 years ago
Joran Honig 30aeac5ece add interface stub 5 years ago
Joran Honig c48bdd5730 add mythril plugin module 5 years ago
Bernhard Mueller ab35dcd09b Disable more Infura tests 5 years ago
Bernhard Mueller de92272bf9 Disable Infura tests "temporarily" 5 years ago
Nikhil Parasaram f39be97d66
Version 0.21.22 5 years ago
Nikhil Parasaram db03af3dda
Save code to world state (#1314) 5 years ago
Nikhil Parasaram f3c45c153e
Support Istanbul fork (#1292) 5 years ago
Nikhil Parasaram 3be2b4b4aa
Version update v0.21.21 5 years ago
Nikhil Parasaram 27ce7d19fb
Remove create tests (#1307) 5 years ago
Nikhil Parasaram fff443f539
Fix Function signatures (#1289) 5 years ago
Nikhil Parasaram d4e97fe7d1
Remove native tests (#1305) 5 years ago
Nikhil Parasaram c965339959
Add statespace tests (#1248) 5 years ago
Nikhil Parasaram 3e167282e7
Bugfix calls (#1288) 5 years ago
Nikhil Parasaram 4ec5582511
Handle the case for bool (#1297) 5 years ago
Nikhil Parasaram 02dcacc45d
Fix creation transaction output (#1290) 5 years ago
Nikhil Parasaram a10e519a70
Add a retval before returning in native calls (#1296) 5 years ago
Nikhil Parasaram dab4a8f69a
Fix/natives (#1302) 5 years ago
Nikhil Parasaram c322fd142e
Leading zero fix (#1301) 5 years ago
Nikhil Parasaram c8a41fa065
Fix a typo 5 years ago
Bernhard Mueller da1e601a04
Fix typo in README 5 years ago
Nikhil Parasaram 80122c323f
update docs 5 years ago
Nathan 0610454705 Fix contract names of deployed contracts (#1284) 5 years ago
Nikhil Parasaram fc5435f281
Prefix versions (#1285) 5 years ago
Nikhil Parasaram e23a69637e
Update to a different tag for dev_test_env 5 years ago
Nikhil Parasaram 04cff564e2
Fix a codecopy bug (#1283) 5 years ago
Nikhil Parasaram 5b718f1ec5
Mythril release 0.21.20 5 years ago
Nikhil Parasaram 1d42f9f31f
Add arbitrary storage write module (#1268) 5 years ago
Nikhil Parasaram 9a0ca99bf6
Fix the issue description (#1272) 5 years ago
Nikhil Parasaram eeeb9bf639
Move constraints to world state (#1276) 5 years ago
Nikhil Parasaram 634d59caa5
Remove unused code (#1263) 5 years ago
JoranHonig 8d5a51a619
Merge pull request #1269 from ConsenSys/arb_jump 5 years ago
JoranHonig 6e925b8c9c
Merge branch 'develop' into arb_jump 5 years ago
JoranHonig 7345dddaf4
Merge pull request #1275 from ConsenSys/bugfix/1273 5 years ago
JoranHonig ea935cf04f
Merge branch 'develop' into arb_jump 5 years ago
JoranHonig 99b89c1c12
Merge branch 'develop' into bugfix/1273 5 years ago
Nikhil Parasaram 88abb3d614
Remove dos (#1265) 5 years ago
Nikhil Parasaram 2706600b92 Fix a horrible bug thanks to mypy 5 years ago
Nikhil Parasaram 64e02f3726 Return a list of global_states 5 years ago
Nikhil Parasaram b421a31b5f Add arbitrary jump module 5 years ago
Nikhil Parasaram 58b2522607
Mythril v0.21.19 5 years ago
Nikhil Parasaram d292ceb9ed
Fixes regression (#1261) 5 years ago
Nikhil Parasaram c0fdcd8e8d
Final fixes for DSChief (#1257) 5 years ago
Nathan b9c80dd9f0
Merge pull request #1252 from ConsenSys/specify-attacker-creator-address 5 years ago
Nathan ed06c3148e
Merge branch 'develop' into specify-attacker-creator-address 5 years ago