Holistic design for Dafny package management #5323
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
status: planned
The team is planning to work on this in the near future
Milestone
Split off from discussion on #5140 for the longer-term problem.
Will fill in more details on requirements soon, but at a minimum we need a full plan for how to support all of the individual requirements spelled out as issues in https://github.com/dafny-lang/dafny/milestone/10, in both the context of single source multi-target projects like https://github.com/aws/aws-encryption-sdk-dafny, but also integrating Dafny into existing projects in a single language as the Dafny Gradle plugin supports.
The text was updated successfully, but these errors were encountered: