Skip to content

Labels

Labels

12 labels

  • bug

    bug
    Something isn't working

  • CONSENSUS CANDIDATE

    CONSENSUS CANDIDATE
    discussion has gone far, and a decision seems in reach

  • deprecation

    deprecation
    discussion on whether a feature is to be retired from JML (eventually)

  • duplicate

    duplicate
    This issue or pull request already exists

  • framing

    framing
    something with dynamic frames, datagroups, ownership, ...

  • invalid

    invalid
    This doesn't seem right

  • new feature

    new feature
    discussion on a new feature

  • reference manual

    reference manual
    discussions around the content and structure of the manual document

  • semantics

    semantics
    The syntax of a clause/expression is clear, but its meaning needs clarification

  • syntax

    syntax
    discussion on how to notate/name a clause/expression in JML

  • tools

    tools
    tool specification, mostly OpenJML and KeY

  • wontfix

    wontfix
    This will not be worked on