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.

Sign up for GitHub

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

Jump to bottom

Export contract creation/transaction summary #59

Closed
ESultanik opened this issue Mar 27, 2019 · 0 comments
Closed

Export contract creation/transaction summary #59

ESultanik opened this issue Mar 27, 2019 · 0 comments
Assignees
@ESultanik
Labels
enhancement New feature or request
Milestone
v0.2.2

Comments

@ESultanik
Copy link
Member

Create a JSON-based DSL for summarizing contract creations and transactions (e.g., for input to Echidna and Manticore) and add an option to Etheno to output it. Similar to #57, but resolve things like created contract addresses, &c.
@ESultanik ESultanik added the enhancement New feature or request label Mar 27, 2019
@ESultanik ESultanik added this to the v0.2.2 milestone Mar 27, 2019
@ESultanik ESultanik self-assigned this Mar 27, 2019
@ESultanik ESultanik changed the title Export contract cration/transaction summary Export contract creation/transaction summary Mar 27, 2019
ESultanik added a commit that referenced this issue Mar 27, 2019
@ESultanik
Started implementing a new event summary plugin (#59)
8fdec55
ESultanik added a commit that referenced this issue Mar 27, 2019
@ESultanik
Log contract creations and function calls (#59)
0200d07
ESultanik added a commit that referenced this issue Mar 27, 2019
@ESultanik
Record the initial set of accounts (#59)
98e0ba8
@ESultanik ESultanik mentioned this issue Mar 27, 2019
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ESultanik ESultanik

Labels
enhancement New feature or request
Projects
None yet
Milestone
v0.2.2
Development

No branches or pull requests
1 participant
@ESultanik