Feature request: Consuming Dafny program as a dependency

[txiang61]

Currently if we want to depend on another Dafny program, we have to do the following:

1. Copying over the relevant files to our project directory
2. Filter out dependency files for verification
3. Trying to make sure the files pulled from other project is up-to-date.

This process could be simplified if there is a way to package a Dafny program as a readonly library dependency that can be consumed by another Dafny program.

[robin-aws]

Hi @txiang61! Yes, this is something we're actively trying to design for now, and we'll communicate more on the solution as we converge.

You might want to have a look at the RFC on this subject here, which is not yet resolved: https://github.com/dafny-lang/rfcs/pull/5/files