Skip to content

Labels

Labels

  • bug

    Something isn't working
  • contract-lib

    Changes that affect contract-lib parts of the code.
  • documentation

    Improvements or additions to documentation
  • duplicate

    This issue or pull request already exists
  • enhancement

    New feature or request
  • examples

  • help wanted

    Extra attention is needed
  • project

    Project related and organisational issues.
  • question

    Further information is requested
  • SMT-LIB 3.0

  • tests

  • user-interface

    Issues related to the organization of the user interface.
  • wontfix

    This will not be worked on