3714 Commits (ccf5c3b3c04fc58a3f2debf978befb976ebdb006)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	ccf5c3b3c0	Resolve merge conflict	5 years ago
Nikhil Parasaram	88fdc543be	Add latest help (#1106)	5 years ago
Bernhard Mueller	44baddaa67	Merge pull request #1104 from ConsenSys/remove_report_tests ... Remove report tests in favor of Edelweiss tests	5 years ago
Bernhard Mueller	000553d788	Merge branch 'develop' into storage/experiment	5 years ago
Bernhard Mueller	b024dbeeb7	Merge branch 'develop' into remove_report_tests	5 years ago
Bernhard Mueller	d79adec2a7	Merge pull request #1103 from ConsenSys/backward_compatible ... Backward compatible CLI	5 years ago
Bernhard Mueller	5448e48f68	Merge pull request #1097 from ConsenSys/docs/update_cli ... Update docs after cli refactor	5 years ago
Bernhard Mueller	9e59d4ec1d	Remove report tests in favor of Edelweiss tests	5 years ago
Nikhil Parasaram	261fa6e337	Merge branch 'develop' into docs/update_cli	5 years ago
Nikhil Parasaram	85ad60638d	Merge branch 'develop' of github.com:ConsenSys/mythril into backward_compatible	5 years ago
Nikhil Parasaram	bb3c231ac4	Improve reporting (#1101)	5 years ago
Nikhil Parasaram	9476b8460f	Merge branch 'develop' of github.com:ConsenSys/mythril into backward_compatible	5 years ago
Nikhil Parasaram	45ed3e3a14	Revert "Improve reporting" ... This reverts commit 7edb263fce.	5 years ago
Nikhil Parasaram	7d69233fcd	Support for old cli	5 years ago
Nikhil Parasaram	b35b18e4aa	Merge branch 'develop' into docs/update_cli	5 years ago
Nikhil Parasaram	4f257422b8	Rename print_storage variable	5 years ago
Nikhil Parasaram	7c0c4d3c7b	Fix deepcopy issue	5 years ago
Nikhil Parasaram	ec402a9330	Fix the onsite storage access	5 years ago
Nikhil Parasaram	3912122cf4	Remove plugin line	5 years ago
Nikhil Parasaram	7f2a598f70	Update storage tests	5 years ago
Nikhil Parasaram	ecac6e8b77	Fix type hints	5 years ago
Nikhil Parasaram	edb906d391	revert the timeout to normal	5 years ago
Nikhil Parasaram	efd7c95f86	Use different SMT array for each map	5 years ago
Nikhil Parasaram	7edb263fce	Improve reporting	5 years ago
Bernhard Mueller	5f11a0f38d	Pass loop bound arg trough to MythrilAnalyzer	5 years ago
Bernhard Mueller	39aa6ca94e	Merge branch 'ether_thief_fix' into develop	5 years ago
Bernhard Mueller	83fe9ce6f9	Improve constraints on Ether Thief module	5 years ago
Nikhil Parasaram	f287f505a3	Update docs after cli refactor	5 years ago
Nikhil Parasaram	ae26b1462d	Refactor cli (#1033) ... * Refactor cli * enhance cli * Re-Refactor the cli structure for more flexibility * Add cli tests for error * Move the cmd_line_test to the previous directory * Add documentation * Add more tests and change docs * Add more tests for storage slots and execution * support a for analyze and add more tests * Improve cli interface * Fix previous errors * Refactor with black * Add help command * Add new tests, fix an edge case and improve code and help messages	5 years ago
Nikhil Parasaram	5252a05524	Implement EXTCODECOPY (#928) ... * Implement EXTCODECOPY * Cache the code received from Dynld * Reuse code_copy_helper return value * Add tests to cover the extcodecopy cases * Shift the addr function to WorldState * Refactor with black * Change based on recent PRs * Add docstrings * Shorten the code	6 years ago
Bernhard Mueller	842f5370c5	Merge branch 'master' into develop	6 years ago
Nikhil Parasaram	dd7b255fc9	Fix storage	6 years ago
Bernhard Mueller	e5b45060d2	Update __version__.py	6 years ago
Bernhard Mueller	a871908a59	Merge pull request #1088 from ConsenSys/bugfix/storage_lookup ... Fix lookup of on-chain storage	6 years ago
Bernhard Mueller	ee83a1aaaa	Merge branch 'develop' into bugfix/storage_lookup	6 years ago
Nathan	fb8fd23b2d	Merge pull request #1059 from ConsenSys/bugfix/1055 ... Fix the source problem by using proper function name	6 years ago
Nathan	3a630363b1	Merge branch 'develop' into bugfix/1055	6 years ago
Nathan	49ef7482ba	Apply black	6 years ago
Nathan	ee71086f98	Merge branch 'develop' into bugfix/storage_lookup	6 years ago
Nathan	ef16ac834e	Fix lookup of on-chain storage	6 years ago
Bernhard Mueller	4cab451a39	Merge pull request #1087 from ConsenSys/develop ... Update __version__.py	6 years ago
Bernhard Mueller	d86468c830	Update setup.py	6 years ago
Bernhard Mueller	9a3bf665cc	Update __version__.py	6 years ago
Bernhard Mueller	9c40398e62	Merge pull request #1086 from ConsenSys/develop ... Merge changes from develop branch	6 years ago
Bernhard Mueller	25dd625e5c	Update config.yml	6 years ago
Bernhard Mueller	b832867f5b	Merge branch 'develop' of github.com:ConsenSys/mythril into develop	6 years ago
Bernhard Mueller	6a271f6cc8	Bump version	6 years ago
Bernhard Mueller	36589d83cb	Merge pull request #1081 from ConsenSys/dependency_prune_v2 ... Read/write dependency pruning v2	6 years ago
Bernhard Mueller	62b404c4d0	Merge branch 'develop' into bugfix/1055	6 years ago
Bernhard Mueller	8843d7d0da	Handle z3 exceptions when updating dependency map	6 years ago