Commit Graph

3971 Commits (standard_actors)
 

Author SHA1 Message Date
Bernhard Mueller 4821668087 Fix standard actors list 5 years ago
Bernhard Mueller 106bf49fda Reduce number of actors 5 years ago
Bernhard Mueller 42fec0c770 Change actor addresses in line with MythX test case conventions 5 years ago
palkeo dcdceefd5d Fix support for calls forwarding the entire calldata. (#1195) 5 years ago
Nikhil Parasaram 7a025fadee
Update the execution timeout for calls.sol test 5 years ago
Nikhil Parasaram b3d20d22a5
Version update 5 years ago
Nikhil Parasaram fa29f9b67f
Fix some ether problems and fix minimise (#1198) 5 years ago
Bernhard Mueller 4cf3300c99
Merge pull request #1193 from ConsenSys/workshop-fixes 5 years ago
Bernhard Mueller 8e058f7b05
Merge branch 'develop' into workshop-fixes 5 years ago
Nikhil Parasaram 0281be777b
Fix onsite storage by using proper variables (#1194) 5 years ago
palkeo 2eb94f3043 Small cleanups (no semantic changes) (#1196) 5 years ago
Nathan 66c604b72c Fix invalid function names 5 years ago
Nathan bcf528e139 Fix pruning of calls 5 years ago
Bernhard Mueller 477f296395
Merge pull request #1192 from palkeo/storage_loaded 5 years ago
palkeo ef1cbc4052 Add type annotation. 5 years ago
palkeo b46f2a4001 Check that key is not symbolic in __setitem__ 5 years ago
palkeo a9fd342baf Check if item is symbolic first. 5 years ago
palkeo 04d295b329 Track what storage has been initialized, and load non-initialized storage. 5 years ago
palkeo 8397ca89ad Fix a bug: the key for the accounts is an integer. (#1190) 5 years ago
palkeo 4f539f6bf0 Fix a bug: correctly copy printable storage over (#1191) 5 years ago
Nikhil Parasaram 4b1bcbeb3e
Version update 5 years ago
e-ngo 5f3a84107e "true" to True (#1188) 5 years ago
Bernhard Mueller 2581f9e238
Merge pull request #1185 from ConsenSys/fix-balance-overflow 5 years ago
Nathan 4bfaadea98 Remove unneeded import 5 years ago
Nathan b08a9d9d84 Constrain all transaction callers to have <= 1000 ETH 5 years ago
Nathan c6e2dec586
Merge pull request #1172 from ConsenSys/model-balances 5 years ago
Bernhard Mueller 1cd1d95376
Merge branch 'develop' into model-balances 5 years ago
Nathan 73d11a6405
Update wiki links to Read the Docs links 5 years ago
Nikhil Parasaram fef8a477b6
Merge branch 'develop' into model-balances 5 years ago
Bernhard Mueller a0c5fa9bee Bump version number 5 years ago
Nathan f185fc2838
Merge pull request #1175 from ConsenSys/feature/import-custom-modules 5 years ago
Nathan 8ada755aa7
Minor grammar improvements 5 years ago
Nathan 2a67135380
Merge branch 'develop' into feature/import-custom-modules 5 years ago
NeolithEra 838de40858 Fix dependency conflict for issue (#1181) 5 years ago
e-ngo db449a32d8 Added ProgramCounterException to display a clearer message when pc is out of bounds. (#1180) 5 years ago
e-ngo db5db7cc8f Removed unnecessary comments and cleaned up code 5 years ago
e-ngo c6e8cc8ffa Revert "Refactored code" 5 years ago
e-ngo ab75e8a925 Merge branch 'feature/import-custom-modules' of https://github.com/ConsenSys/mythril into feature/import-custom-modules 5 years ago
e-ngo 938dee8e6e Revert "Fixed some logic" 5 years ago
Bernhard Mueller a2b2b7ded3
Merge branch 'develop' into model-balances 5 years ago
Bernhard Mueller 2975d71985
Merge branch 'develop' into feature/import-custom-modules 5 years ago
Bernhard Mueller 974f2f1036
Merge pull request #1177 from palkeo/develop 5 years ago
e-ngo 80c21a37a2 Fixed some logic 5 years ago
e-ngo a8dc3aa7bc Refactored code 5 years ago
Nathan b4dbbd2862
Merge branch 'develop' into develop 5 years ago
Bernhard Mueller 649b0cd07e
Merge pull request #1178 from palkeo/fix_1176 5 years ago
palkeo 0844497e41 Revert commit that should not have been here (other PR) 5 years ago
palkeo d22b791ba7 Remove logging messages, and a "pass" 5 years ago
palkeo 739ac0337b Fix #1176: load map items 5 years ago
palkeo 49fbb5f82f Fix #1176: retrieve map items. 5 years ago