Skip to content

No labels!

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

19 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
3
general-dafny-use
general-dafny-use
New functionality or clean up for broader use of this repo
30
going-public
going-public
Should be done before launching 0.x publicly
13
good first issue
good first issue
Good for newcomers
handling-dependencies
handling-dependencies
Issues/TODOs for handling-dependencies branch
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
Java
Java
2
Needs Tests
Needs Tests
This feature may have been implemented, but lacks sufficient test coverage.
1
.NET
.NET
3
python
python
Pull requests that update Python code
question
question
Further information is requested
Rust
Rust
13
soundness
soundness
Bugs that cause the generated code to compute the wrong value or crash
5
TestModels
TestModels
Relates to Testing the code generator via the TestModels directory
15
wontfix
wontfix
This will not be worked on