mythril

Commit Graph

Author	SHA1	Message	Date
Nikhil Parasaram	3e167282e7	Bugfix calls (#1288 ) * Fix bugs * Change tests * black * Fix the string * Change the name and add a docstring * Change max-depth to 128 * refactor with black * Rename function name and remove constraints append code	5 years ago
Nikhil Parasaram	eeeb9bf639	Move constraints to world state (#1276 ) * Add constraints to worldstate * Remove propogation of constraints from Node * Remove a usage of state.constraints() * Ignore mypy error * Add a missing file	5 years ago
Nikhil Parasaram	c55af2a5a0	Implement static call (#991 ) * Implement static call * Refactor static call tests * Reuse call's post for staticcall * Change variable names and add docstring comments * Rename variable name * change the comment * Fix the tests based on the merge * Fix the tests * Remove extra declaration of WriteProtection * Fix static call test * Add the missing condition in callcode	5 years ago

Author

SHA1

Message

Date

Nikhil Parasaram

3e167282e7

Bugfix calls (#1288 )

* Fix bugs

* Change tests

* black

* Fix the string

* Change the name and add a docstring

* Change max-depth to 128

* refactor with black

* Rename function name and remove constraints append code

5 years ago

Nikhil Parasaram

eeeb9bf639

Move constraints to world state (#1276 )

* Add constraints to worldstate

* Remove propogation of constraints from Node

* Remove a usage of state.constraints()

* Ignore mypy error

* Add a missing file

5 years ago

Nikhil Parasaram

c55af2a5a0

Implement static call (#991 )

* Implement static call

* Refactor static call tests

* Reuse call's post for staticcall

* Change variable names and add docstring comments

* Rename variable name

* change the comment

* Fix the tests based on the merge

* Fix the tests

* Remove extra declaration of WriteProtection

* Fix static call test

* Add the missing condition in callcode

5 years ago

3 Commits (flashfck)