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

If compile:3 or 4 is chosen, warn if there is no Main #756

Open
davidcok opened this issue Jul 25, 2020 · 0 comments
Open

If compile:3 or 4 is chosen, warn if there is no Main #756

davidcok opened this issue Jul 25, 2020 · 0 comments
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag

Comments

@davidcok
Copy link
Collaborator

No description provided.

@acioc acioc added this to the Post 3.0 milestone Jul 29, 2020
@acioc acioc added part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny labels Jul 29, 2020
@robin-aws robin-aws removed this from the Post 3.1 milestone Sep 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@acioc @davidcok @robin-aws