informalsystems/modelator

Issues

• Reporting a vulnerability

  #300 opened 2 years ago by igibek
  1

• Integrate Apalache Chai

  #297 opened 2 years ago by ivan-gavran
  2

• modelator User Manual

  #287 opened 2 years ago by niuzhi
  6

• Write ADR-01 on overall tool architecture

  #210 opened 2 years ago by andrey-kuprianov
  1

• rename PascalCase modules in snake_case

  #293 opened 2 years ago by rnbguy
  0

• Add CLI integration tests

  #236 opened 2 years ago by hvanz
  1

• Implement ModelConfig as a superclass of Apalache and TLC configurations

  #218 opened 2 years ago by hvanz
  0

• When downloading a new checker, check if the checker exists already

  #251 opened 2 years ago by ivan-gavran
  1

• Download default Apalache release on init

  #250 opened 2 years ago by ivan-gavran
  1

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

  #296 opened 2 years ago by ivan-gavran
  2

• remove development notice from readme

  #294 opened 2 years ago by rnbguy
  0

• Model.parse_file fails after fresh installation

  #209 opened 2 years ago by rnbguy
  4

• Embedding Apalache in Atomkraft in release

  #269 opened 2 years ago by tesnimab
  2

• Remove git depdendencies from dev branch

  #292 opened 2 years ago by rnbguy
  0

• Update Apalache version

  #284 opened 2 years ago by rnbguy
  1

• Rename "examples" when sampling

  #277 opened 2 years ago by hvanz
  2

• [Suggestion] Allow to download unknown Apalache versions

  #244 opened 2 years ago by andrey-kuprianov
  1

• ADR for the module turning a TLA+ resources into an MC task

  #219 opened 2 years ago by ivan-gavran
  0

• Multi-version Apalache management

  #285 opened 2 years ago by rnbguy
  2

• Minimum supported python version

  #282 opened 2 years ago by rnbguy
  0

• Command `simulate`

  #274 opened 2 years ago by ivan-gavran
  0

• [BUG] ITF parser doesn't support big integers

  #276 opened 2 years ago by andrey-kuprianov
  0

• Add mdx tests to CI workflow

  #267 opened 2 years ago by hvanz
  0

• Easy-to-understand trace representation

  #266 opened 2 years ago by andrey-kuprianov
  0

• Show error message when a constant is not initialized, instead of throwing an exception

  #253 opened 2 years ago by hvanz
  0

• Improve handling of Apalache errors

  #260 opened 2 years ago by andrey-kuprianov
  3

• Add new CLI command `version`

  #262 opened 2 years ago by hvanz
  0

• Apply time-stamping dirs also to `sample`

  #259 opened 2 years ago by andrey-kuprianov
  0

• Improve tests

  #228 opened 2 years ago by hvanz
  0

• Config file is not passed correctly to modelator-py

  #256 opened 2 years ago by hvanz
  0

• Change default trace dir to traces/<timestamp>

  #252 opened 2 years ago by ivan-gavran
  4

• Pass model-checker parameters to CLI commands

  #248 opened 2 years ago by hvanz
  0

• [Suggestion] Checking for Apalache jar whenever a modelator is imported

  #243 opened 2 years ago by ivan-gavran
  3

• Add tests to CLI

  #246 opened 2 years ago by hvanz
  0

• [BUG] Load command fails

  #241 opened 2 years ago by andrey-kuprianov
  0

• Handle jar files properly

  #212 opened 2 years ago by ivan-gavran
  7

• Sanitize ITF objects in pytest fixtures

  #239 opened 2 years ago by rnbguy
  0

• Add CLI command for downloading Apalache jar files

  #238 opened 2 years ago by hvanz
  0

• Allow exporting trace generated via `sample` to ITF format

  #232 opened 2 years ago by andrey-kuprianov
  0

• Cache Python environment in Github workflow

  #234 opened 2 years ago by rnbguy
  1

• Github workflows are not running anymore

  #233 opened 2 years ago by rnbguy
  0

• CLI upgrade didn't update version

  #230 opened 2 years ago by andrey-kuprianov
  0

• Add CLI to modelator

  #226 opened 2 years ago by hvanz
  0

• Upgrade to Apalache 0.25.10

  #224 opened 2 years ago by hvanz
  0

• Pytest support

  #216 opened 2 years ago by ivan-gavran
  0

• drop support for TLC for short-term

  #214 opened 2 years ago by ivan-gavran
  0

• Implement HTML monitor

  #207 opened 2 years ago by hvanz
  0

• Implement Shell Monitor

  #203 opened 2 years ago by andrey-kuprianov
  1

• Implement Markdown monitor

  #205 opened 2 years ago by hvanz
  0

• adding poetry dependency is unsuccessful

  #208 opened 2 years ago by rnbguy
  1