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 opened on 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 opened on 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 opened on 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 opened on 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 opened on 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 opened on Sep 6, 2021