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)
I think we should come up with a project file format on the Scilla side.
Some possible features/use cases:
Related issue: #1040