4093 Commits (harvey_style_assertions)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	4b704766ee	Merge branch 'develop' into refactor/cli	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
Bernhard Mueller	15d846bd0e	Merge branch 'develop' into dependency_prune_v2	6 years ago
Bernhard Mueller	c7784a7d60	Merge pull request #1084 from ConsenSys/fix/circleci-config ... Update Circle CI config	6 years ago
Aleksandr Sobolev	9dc390d2db	Fix typo in env name and remove branch from workflow	6 years ago
Aleksandr Sobolev	90af6dbd39	Update Circle CI config	6 years ago
Bernhard Mueller	516bbc3dd0	Merge branch 'develop' into dependency_prune_v2	6 years ago
Bernhard Mueller	9b960a2985	Add missing line to fix recursive intializaton :)	6 years ago
Bernhard Mueller	560eab5304	Merge pull request #1078 from ConsenSys/feature/ignore-regressions ... Define ENV variable to suspend regressions reporting for some testcases	6 years ago
Bernhard Mueller	e56f69bf1d	Merge branch 'develop' into feature/ignore-regressions	6 years ago
Bernhard Mueller	60f1742508	Merge pull request #1079 from ConsenSys/delegatecall_fix ... Add caller constraints on all transactions in tx sequence	6 years ago
Aleksandr Sobolev	01b221f914	Pass list of files to ignore false positives	6 years ago
Bernhard Mueller	ca0fc79a7c	Resolve conflicts	6 years ago
Bernhard Mueller	c90bf17aa8	Merge develop	6 years ago
Bernhard Mueller	c03268c061	Merge branch 'develop' into dependency_prune_v2	6 years ago
Aleksandr Sobolev	1388ac225e	Merge branch 'develop' into feature/ignore-regressions	6 years ago
Bernhard Mueller	ac08f903fb	Merge branch 'develop' into delegatecall_fix	6 years ago
Nikhil Parasaram	7f2d976a7d	Supports tx sequence lists (#1014) ... * Add the steps in transaction * Fix the account transfer and add initial state * Support for py35 * Support creation account * Support display of txSeed and remove saving world state from plugin * Add type hints to functions * Change the output jsonv2 name * Change report tests * Fix the addresses * Use caller over origin and remove extra statements * Add properties over functions * Use initial storage * Remove usage of tx_template * use tx accounts over laser svm * Remove unused imports * Fix based on the previous merge * Use a better initial state * Add creation transaction * Remove address 0 * Transaction list suggestion (#1044) * add documentation to added functions in report * dump dictionary to string before returning * remove balance write * separate transaction sequence generation into separate functions * apply style rules * fix typo * Fix some issues * Refactor with black * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Fix the type hinting * Remove the caller field	6 years ago
Bernhard Mueller	b463974b94	Reverse the random commit from before	6 years ago
Bernhard Mueller	1e07a32f0a	Add FIXME for potential bug	6 years ago
JoranHonig	c9a61c7ead	Merge pull request #1083 from ConsenSys/revert/storage ... Revert/storage	6 years ago
Bernhard Mueller	106cbfd43d	Soemthing	6 years ago
Nikhil Parasaram	455e66c835	Fix the calldata's size for symbolic calldata	6 years ago
Nikhil Parasaram	a0f0767b15	Revert "Merge pull request #1076 from ConsenSys/bugfix/bectoken" ... This reverts commit 558dd42390, reversing changes made to 0107a6212d.	6 years ago
Aleksandr Sobolev	da779aa56a	Added branch to CircleCI config for debugging new changes	6 years ago
Aleksandr Sobolev	b65828bf84	Change cli param to ignore-false-positives	6 years ago
Bernhard Mueller	88487c29f2	Fix type hints	6 years ago
Bernhard Mueller	39befe9fd8	Give unique names to hook functions	6 years ago
Bernhard Mueller	f9b7d68291	Fix a couple of errors	6 years ago
Bernhard Mueller	44d5eff9b6	Formatting	6 years ago
Bernhard Mueller	1c207b0591	Don't run in contract creation and 1st runtime tx	6 years ago
Bernhard Mueller	0e3c04c835	Improve type hints and annotations	6 years ago
Bernhard Mueller	4915a6be74	Add flag to disable pruning	6 years ago
Bernhard Mueller	86c6c2041f	Protect paths that contain a message call	6 years ago