Labels

Issue blocked by another (for filtering)

This is issue is required by a customer

No plans to support in the near future

Pull requests that update a dependency file

Architecture and system design

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

Documentation

Can be completed within about 1 day

Will take 5 or more days (probably requires issue refactor)

Can be completed within about 3 days

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

Experimental code

Feature: New SMT encoding with arrays

Feature: Implement operators on Bags

A new feature or functionality

Feature: Infrastructure improvements backlog

Feature: Infrastructure improvements high prio

Feature: input-output

Feature: linter for TLA+

Feature: liveness checking

Feature: support for model-based testing

Feature: Integrating the parallel checker

Feature: TLA+ preprocessor

Feature: Light-weight MC for quantified uninterpreted FOL

Improved support for recursive operators and functions

Simple fragment support

Feature: Implementing missing operators on Sequences

Apalache server