Issues

• Integrate Apalache Chai

  dev
  informalsystems/modelator#297 · Filter by author ivan-gavran opened on Nov 25, 2022
  2

  

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

  enhancement
  informalsystems/modelator#296 · Filter by author ivan-gavran opened on Nov 24, 2022
  2

• rename PascalCase modules in snake_case

  dev
  informalsystems/modelator#293 · Filter by author rnbguy opened on Nov 24, 2022

• Write ADR-01 on overall tool architecture

  dev
  informalsystems/modelator#210 · Filter by author andrey-kuprianov opened on Jul 7, 2022
  1

  

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

  enhancement
  informalsystems/modelator#114 · Filter by author danwt opened on Oct 22, 2021

• Add timeout option and default timeout for running model checking.

  enhancement
  informalsystems/modelator#95 · Filter by author danwt opened on Sep 6, 2021