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

Project files for multi-contract projects #1084

Open

anton-trunov opened this issue Jun 17, 2022 · 0 comments

Labels

enhancement static analysis usability

Contributor

anton-trunov commented Jun 17, 2022 •

edited

Loading

I think we should come up with a project file format on the Scilla side.

Some possible features/use cases:

It should specify how to deploy multi-contract projects (for instance, if a contract must be deployed before another one)
It should specify which contract calls which contracts, that would allow us to statically check that transitions signatures match messages' fields (this we have to check manually each time we do contract audits)
The format should aim at IDE support

Related issue: #1040

anton-trunov added enhancement usability static analysis labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment