Skip to content

No labels!

There aren’t any labels for this repository quite yet.

94 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
part: formatter
part: formatter
Code formatter for Dafny source code
4
part:implicit-assertions
part:implicit-assertions
part: language definition
part: language definition
Relating to the Dafny language definition itself
52
part: language server
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
47
part: parser
part: parser
First phase of Dafny's pipeline
18
part: prelude
part: prelude
Issues in Dafny's Boogie prelude
2
part: printer
part: printer
Pretty printer for Dafny's AST
4
part: resolver
part: resolver
Resolution and typechecking
105
part: runtime
part: runtime
Happens in Dafny's runtime (Add a `lang` tag if relevant)
19
part: standard libraries
part: standard libraries
Standard libraries packaged in the Dafny distribution
14
part: test generation
part: test generation
Relates to the dafny generate-tests command
6
part: tools
part: tools
Tools built on top of Dafny
10
part: verifier
part: verifier
Translation from Dafny to Boogie (translator)
147
part: z3
part: z3
Issue is in Z3
9
platform: macOS
platform: macOS
macOS-specific issues
3
platform: windows
platform: windows
Windows-specific issues
3
priority: assigned
priority: assigned
Priority left up the discretion of the assignee
priority: next
priority: next
Will consider working on this after in progress work is done
62
priority: not yet
priority: not yet
Will reconsider working on this when we're looking for work
404
priority: now
priority: now
Will work on this now
3
release-blocker
release-blocker
Must be resolved before the next release
ruby
ruby
Pull requests that update Ruby code
run-deep-tests
run-deep-tests
Tells CI to run all tests
9
run-integration-tests
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
3
skip-deep-tests
skip-deep-tests
1
status: designed
status: designed
Issues that have a complete story on how to implement this feature and why we want it
6
status: implemented
status: implemented
Candidate feature available for experimentation
5
status: needs-approval
status: needs-approval
Issue that needs approval from Dafny team members before moving to designed
4
status: needs-decision
status: needs-decision
The cause of this issue is clear; the team needs to decide whether we want to work on it
9
status: needs-expert
status: needs-expert
Needs review by an expert on this part of the code
11