informalsystems/modelator-py
View on GitHubUtilities for the TLA+ ecoystem and model-based testing using TLA+.
- Stars
- 27
- Forks
- 3
- Open beginner issues
- 0
- Indexed issues
- 16
- Dominant language
- Python
- License
- Apache-2.0
- Last GitHub push
- Nov 18, 2022
- Latest indexed
- Sep 17, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
informalsystems/modelator-py#6 · 1 comment · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#10 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#15 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#25 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#33 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#36 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#38 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#39 · 0 comments · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#40 · 1 comment · 0 reactions · 1 assignee ·
-
informalsystems/modelator-py#49 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#50 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#51 · 0 comments · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#52 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#58 · 1 comment · 0 reactions · 0 assignees ·
-
informalsystems/modelator-py#62 · 0 comments · 0 reactions · 0 assignees ·
-
bug
informalsystems/modelator-py#71 · 1 comment · 0 reactions · 0 assignees ·