-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implemented a warning to prevent varaibles and constructors from having the same name
#2580
opened Aug 11, 2022 by
tobiaj10
Loading…
Introduce an async type DynamicStack that can be used to prevent stac…
#2124
opened May 10, 2022 by
keyboardDrummer
•
Draft
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130
opened May 10, 2022 by
fabiomadge
•
Draft
feat: Code in ProofObligationDescriptions
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
#2153
opened May 19, 2022 by
MikaelMayer
•
Draft
Warning when constructor name is used as variable in match #1600
#2298
opened Jun 24, 2022 by
tobiaj10
Loading…
chore: Run single-platform integration tests even if nightly build failed
#2369
opened Jul 6, 2022 by
robin-aws
Loading…
[do not merge] Exceptions2
status: implemented
Candidate feature available for experimentation
#361
opened Aug 22, 2019 by
samuelgruetter
•
Draft
chore: A crash in the resolver now reports an error to the user
#2499
opened Jul 27, 2022 by
MikaelMayer
Loading…
fix: Don't generate the "assume T.F(ins) == C.F(ins)" statement in the function override ensures check
#2504
opened Jul 28, 2022 by
robin-aws
Loading…
fix: Actually create the target-runtime-version matrix dimension
run-deep-tests
Tells CI to run all tests
#2572
opened Aug 10, 2022 by
robin-aws
Loading…
chore: Formatted every test file with the formatter
#2714
opened Sep 8, 2022 by
MikaelMayer
Loading…
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723
opened Sep 9, 2022 by
MikaelMayer
Loading…
fix: Include standard header with every unsupported feature message
#2739
opened Sep 13, 2022 by
cpitclaudel
Loading…
Changing representation of Reads, Requires, and Apply clauses
status: implemented
Candidate feature available for experimentation
#375
opened Sep 5, 2019 by
amaurremi
Loading…
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591
opened Apr 11, 2020 by
lemmy
Loading…
usecancall only [not checked locally, don't review]
#1262
opened Jun 28, 2021 by
typerSniper
Loading…
Use split attributes boogaloo
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: verifier
Translation from Dafny to Boogie (translator)
ProTip!
Adding no:label will show everything without a label.