Labels

• blocked

  Issue blocked by another (for filtering)
• bug
• customer-request

  This is issue is required by a customer
• deferred

  No plans to support in the near future
• dependencies

  Pull requests that update a dependency file
• design

  Architecture and system design
• dev-rels
• DevOps

  As practice, not role. Subsumes CI/CD, project organization, operationalization etc.
• doc

  Documentation
• effort-easy

  Can be completed within about 1 day
• effort-hard

  Will take 5 or more days (probably requires issue refactor)
• effort-medium

  Can be completed within about 3 days
• expedite

  Urgent interruption to planned or ongoing work (should be avoided if posssible)
• experimental

  Experimental code
• Farrays

  Feature: New SMT encoding with arrays
• Fbags

  Feature: Implement operators on Bags
• feature

  A new feature or functionality
• Finfra-backlog

  Feature: Infrastructure improvements backlog
• Finfra-high

  Feature: Infrastructure improvements high prio
• Finput-output

  Feature: input-output
• Flinter

  Feature: linter for TLA+
• Fliveness

  Feature: liveness checking
• FMBT

  Feature: support for model-based testing
• Fparallel

  Feature: Integrating the parallel checker
• Fprepro

  Feature: TLA+ preprocessor
• Fquantified

  Feature: Light-weight MC for quantified uninterpreted FOL
• Frecursive

  Improved support for recursive operators and functions
• FreTLA

  Simple fragment support
• Fsequences

  Feature: Implementing missing operators on Sequences
• Fserver

  Apalache server