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

feature request: for loops #7

Closed
calder opened this issue Jul 6, 2016 · 2 comments
Closed

feature request: for loops #7

calder opened this issue Jul 6, 2016 · 2 comments
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny

Comments

@calder
Copy link

calder commented Jul 6, 2016

Are there any technological or ideological reasons for not supporting for loops in Dafny?
@calder calder changed the title for loops feature request: for loops Jul 6, 2016
@parno parno added the kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny label Sep 16, 2016
utaal pushed a commit to utaal/dafny that referenced this issue Jun 26, 2020
@parno
Merge pull request dafny-lang#7 from secure-foundations/dafny-array-n…
66fda25 
…o-vector

implement DafnyArray without a vector to avoid an extra pointer indir…
@acioc
Copy link
Collaborator

acioc commented Jul 8, 2020

Currently closing since this behavior can be handled via the Dafny while. @RustanLeino if there are larger ideological reasons for additionally supporting for.

@acioc acioc closed this as completed Jul 8, 2020
@RustanLeino
Copy link
Collaborator

See RFC dafny-lang/rfcs#4

camrein added a commit that referenced this issue Apr 8, 2021
@camrein
Merge pull request #7 from DafnyVSCode/improvement/test-namespace
caa7bfb 
Move the tests into the Microsoft.Dafny.LanguageServer namespace.
prvshah51 added a commit that referenced this issue Nov 17, 2021
@prvshah51 @robin-aws
Add compilation target (#7)
59593be 
Co-authored-by: Robin Salkeld <[email protected]>
@robin-aws robin-aws mentioned this issue Jun 10, 2022
Merged
atomb pushed a commit to atomb/dafny that referenced this issue Jun 17, 2022
@Dargones
Merge pull request dafny-lang#7 from atomb/displayname-attribute
a55389e 
Displayname attribute
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
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@calder @parno @acioc @RustanLeino