Labels

• A-assertion

  Area: Assertion
• A-model

  Area: Model
• A-outcome

  Area: Outcome
• A-quantifier

  Area: Quantifier
• A-solver

  Area: Solver
• A-test

  Area: Test
• C-bug

  Category: Bug
• C-cleanup

  Category: Cleanup
• C-enhancement

  Category: Enhancement
• C-feature-accepted

  Category: Accepted feature
• C-feature-requested

  Category: Requested feature
• E-easy

  Experience: Easy
• E-hard

  Experience: Hard
• E-medium

  Experience: Medium
• P-high

  Priority: High
• P-low

  Priority: Low
• P-medium

  Priority: Medium
• pre-0.1

  Issues dating back to the experimentation phase before the push towards version 0.1