Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• duplicate

  Duplicate of existing issue
• enhancement

  New feature or request
• feature/assertion

  The `assert` function
• feature/build

  The build system
• feature/contract

  The Contract declaration
• feature/contracts-constructor

  The top level constructor
• feature/demands

  The `demands` declaration
• feature/documentation

  Documentation
• feature/ensures

  The `ensures` declaration
• feature/iff

  The `iff` function
• feature/implies

  the `implies` function
• feature/invariant

  The `invariant` declaration
• feature/override

  The override decorator
• feature/rescue

  The `rescue` declaration
• feature/withiin

  The `within` declaration
• github_actions

  Pull requests that update GitHub Actions code
• marketing

  Marketing
• question

  Further information is requested
• requirement

  An assertion or property that must be fulfilled
• wontfix

  This will not be worked on