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

Holistic design for Dafny package management #5323

Open
robin-aws opened this issue Apr 16, 2024 · 0 comments
Open

Holistic design for Dafny package management #5323

robin-aws opened this issue Apr 16, 2024 · 0 comments
Assignees
@robin-aws
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
Library support

Comments

@robin-aws
Copy link
Member

robin-aws commented Apr 16, 2024 •
edited

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.
@robin-aws robin-aws added 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 labels Apr 16, 2024
@robin-aws robin-aws added this to the Library support milestone Apr 16, 2024
@robin-aws robin-aws self-assigned this Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robin-aws robin-aws

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
Projects
None yet
Milestone
Library support
Development

No branches or pull requests
1 participant
@robin-aws