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
area: build-system
area: build-system
Support for dependencies in Dafny, generation of target language build files
4
area: caching
area: caching
Support for caching parts of Dafny's verification pipeline
2
area: error-reporting
area: error-reporting
Clarity of the error reporting
50
area: ffi
area: ffi
The {:extern} attribute and otherwise interfacing with code in other languages
24
area: new users
area: new users
Getting new users started
2
area: nonlinear arithmetic
area: nonlinear arithmetic
Support for reasoning about nonlinear arithmetic
2
area: performance
area: performance
Performance issues
33
area: refinement
area: refinement
Dafny's module-refinement machinery
15
autocut
autocut
For issues that are created by CI automation
breaking-change
breaking-change
Any change that will cause existing Dafny codebases to break (excluding verification instability)
13
crash
crash
Dafny crashes on this input, or generates malformed code that can not be executed
57
dependencies
dependencies
Pull requests that update a dependency file
1
difficulty: easy
difficulty: easy
Issues that should take a few days at most to fix
13
difficulty: good-first-issue
difficulty: good-first-issue
Good first issues
12
difficulty: hard
difficulty: hard
Issues that will take more than a week to fix
3
difficulty: medium
difficulty: medium
Issues that should take a few days to a week to fix
3
during 1: program development
during 1: program development
Bad error message or documentation; IDE bug; crash compiling invalid program
47
during 2: compilation of correct program
during 2: compilation of correct program
Dafny rejects a valid program during compilation
67
during 3: execution of incorrect program
during 3: execution of incorrect program
An bug in the verifier that allows Dafny to run a program that does not correctly implement its spec
16
during 4: bad execution of correct program
during 4: bad execution of correct program
A bug in the Dafny compiler that causes a correct Dafny program to execute incorrectly
9
github_actions
github_actions
Pull requests that update GitHub Actions code
1
has-workaround: no
has-workaround: no
There are no known workarounds
5
has-workaround: yes
has-workaround: yes
There is a known workaround
30
incompleteness
incompleteness
Things that Dafny should be able to prove, but can't
53
introduced: pre-2009
introduced: pre-2009
2
introduced: pre-2012
introduced: pre-2012
7
introduced: pre-2017
introduced: pre-2017
introduced: v1.9.7
introduced: v1.9.7
introduced: v1.9.8
introduced: v1.9.8
introduced: v2.1.0
introduced: v2.1.0