Search results

Integrate Apalache Chai

devChanges that make development easier: refactoring, tooling etc.Changes that make development easier: refactoring, tooling etc.

Status: Open.

#297 In informalsystems/modelator;

·ivan-gavran openedon Nov 25, 2022

[FEATURE] Easier debugging of TLA+ model using partial runs

enhancementNew (user-facing) feature or requestNew (user-facing) feature or request

Status: Open.

#296 In informalsystems/modelator;

·ivan-gavran openedon Nov 24, 2022

rename PascalCase modules in snake_case

devChanges that make development easier: refactoring, tooling etc.Changes that make development easier: refactoring, tooling etc.

Status: Open.

#293 In informalsystems/modelator;

·rnbguy openedon Nov 24, 2022

Write ADR-01 on overall tool architecture

devChanges that make development easier: refactoring, tooling etc.Changes that make development easier: refactoring, tooling etc.

Status: Open.

#210 In informalsystems/modelator;

·andrey-kuprianov openedon Jul 7, 2022

[FEATURE] Facilitate user story: intentionally innacurate system models are used for regression testing.

enhancementNew (user-facing) feature or requestNew (user-facing) feature or request

Status: Open.

#114 In informalsystems/modelator;

·danwt openedon Oct 22, 2021

Add timeout option and default timeout for running model checking.

enhancementNew (user-facing) feature or requestNew (user-facing) feature or request

Status: Open.

#95 In informalsystems/modelator;

·danwt openedon Sep 6, 2021