Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Michelson hooks #104

Merged
merged 9 commits into from
Aug 3, 2020
Merged

Add Michelson hooks #104

merged 9 commits into from
Aug 3, 2020

Conversation

sskeirik
Copy link
Collaborator

First phase of the plugin update.

@sskeirik sskeirik mentioned this pull request May 29, 2020
8 tasks
@sskeirik sskeirik requested a review from ehildenb May 29, 2020 15:50
.gitmodules Show resolved Hide resolved
@ehildenb
Copy link
Member

ehildenb commented Jun 1, 2020

Please open PRs into relevant subrepos and link them here @sskeirik .

@sskeirik
Copy link
Collaborator Author

Finally coming back to this. Since it has been awhile, it is probably helpful to look at the overall plan here: #102. The changes in this PR represent the first phase of the plan laid out in that issue.

The linked kevm PR updating the plugin to this commit follows below:

runtimeverification/evm-semantics#807

@sskeirik
Copy link
Collaborator Author

@ehildenb kevm build passed, so this should be ready to review now. Let me know if you have any questions/comments. Thanks!

@ehildenb
Copy link
Member

ehildenb commented Aug 3, 2020

This LGTM, but I would like @dwightguth 's review as well.

@ehildenb ehildenb self-requested a review August 3, 2020 17:56
@ehildenb ehildenb merged commit f03a4f7 into master Aug 3, 2020
@ehildenb ehildenb deleted the add_michelson_hooks branch August 3, 2020 17:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants