Files

.devcontainer
.github
- scripts
  - TLAi-linter.genai.js
  - check_manifest_features.py
  - check_manifest_files.py
  - check_manifest_schema.py
  - check_markdown_table.py
  - check_proofs.py
  - check_small_models.py
  - format_markdown_table.py
  - generate_manifest.py
  - linux-setup.sh
  - parse_modules.py
  - record_model_state_space.py
  - requirements.txt
  - smoke_test_large_models.py
  - tla_utils.py
  - translate_pluscal.py
  - unicode_conversion.py
  - unicode_number_set_shim.py
  - windows-setup.sh
- workflows
specifications
.ciignore
.gitattributes
.gitignore
.gitmodules
.gitpod.Dockerfile
.gitpod.yml
CITATION.cff
CNAME
CONTRIBUTING.md
DEVELOPING.md
LICENSE.md
README.md
manifest-schema.json
manifest.json

requirements.txt

Added action composition feature flag

Feb 13, 2025

cfb8a57 · Feb 13, 2025