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

4111 Commits (bug/invalid-loop-pruning)
 

Author SHA1 Message Date
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
e-ngo 52ba355b65 Add logic for CREATE opcode, still need to add unit test for CREATE. Refactored extcodehash unit tests into separate test units.
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
e-ngo 1e225eb770 Ran black...
5 years ago
e-ngo 83937a9a55 Fixed errors in asserts in extcodehash tests
5 years ago
e-ngo ccdc1759aa Merge branch 'develop' into pending-opcodes
5 years ago
e-ngo 59dffe97f7 Ran black
5 years ago
e-ngo 7cf89a0dfe Fixed linting errors
5 years ago
Bernhard Mueller 2581f9e238
Merge pull request #1185 from ConsenSys/fix-balance-overflow
5 years ago
e-ngo 268d5d3bbb Ran black
5 years ago
e-ngo 1a0ea91267 Refactored instructions for extcodehash and its test
5 years ago
e-ngo 9dc1007a15 Implemented extcodehash
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
Nathan 29796dd8da Fix bug compiling contracts without solc warnings
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
Nathan 839e35a212 Merge branch 'analyze-with-mythx' of github.com:ConsenSys/mythril-classic into analyze-with-mythx
5 years ago
Nathan 6f337f8bc7 Document MythX analysis
5 years ago
Nathan c0b74d8187 Fix compilation error handling
5 years ago
Nathan a22e2ba81f Fix error preventing contract name from being set
5 years ago
Nikhil Parasaram fef8a477b6
Merge branch 'develop' into model-balances
5 years ago
Nathan 306392463f
Merge branch 'develop' into analyze-with-mythx
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 daadda1886
Update old_cli.py
5 years ago
Bernhard Mueller a2b2b7ded3
Merge branch 'develop' into model-balances
5 years ago
Bernhard Mueller b044fcd9b1 Fix wrongly named constructor arg
5 years ago