The first public alpha release
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.
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)
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: 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