Skip to content

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
1
dependencies
dependencies
Pull requests that update a dependency file
2
duplicate
duplicate
Duplicate of existing issue
enhancement
enhancement
New feature or request
5
feature/assertion
feature/assertion
The `assert` function
feature/build
feature/build
The build system
1
feature/contract
feature/contract
The Contract declaration
2
feature/contracts-constructor
feature/contracts-constructor
The top level constructor
1
feature/demands
feature/demands
The `demands` declaration
feature/documentation
feature/documentation
Documentation
4
feature/ensures
feature/ensures
The `ensures` declaration
feature/iff
feature/iff
The `iff` function
feature/implies
feature/implies
the `implies` function
feature/invariant
feature/invariant
The `invariant` declaration
feature/override
feature/override
The override decorator
4
feature/rescue
feature/rescue
The `rescue` declaration
feature/withiin
feature/withiin
The `within` declaration
github_actions
github_actions
Pull requests that update GitHub Actions code
1
marketing
marketing
Marketing
question
question
Further information is requested
1
requirement
requirement
An assertion or property that must be fulfilled
5
wontfix
wontfix
This will not be worked on