Repository Issues

tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

View on GitHub
Stars
 (2,153 stars)
Forks
 (179 forks)
Indexed issues
 (33 indexed issues)
open beginner issues
 (32 open beginner issues)
Latest indexed
Aug 14, 2026
Last GitHub push
Jan 15, 2024
License
MIT License
Contributing guide
Contributing guide
Code of conduct
Code of conduct
Dominant language
Java
PR merge metrics
 (No merged PRs in 30d)
Beginner labels
help wantedgood first issue

Issues

32 open indexed issues

Open
Add compact output mode to XMLExporter.
AIToolsenhancementhelp wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #1299 · Feb 3, 2026 · Java · 2,153 stars

0 comments0 reactions0 assignees
Open
SANY allows @ in odd locations
SANYToolsbuggood first issue
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #1153 · Feb 25, 2025 · Java · 2,153 stars

1 comment0 reactions0 assignees
Open
Proposal: TLC/SANY quiet mode
Toolsenhancementgood first issuehelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #1072 · Nov 13, 2024 · Java · 2,153 stars

3 comments1 reaction0 assignees
Open
Document how to add module search path to TLC
Toolsenhancementgood first issuehelp wantedquestion
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #795 · Feb 20, 2023 · Java · 2,153 stars

4 comments0 reactions0 assignees
Open
Add ANSII colors to TLC
Toolsenhancementgood first issuehelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #679 · Oct 22, 2021 · Java · 2,153 stars

2 comments0 reactions0 assignees
Open
Make current-tools.pdf more accessible
Toolsenhancementgood first issuehelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #674 · Oct 6, 2021 · Java · 2,153 stars

16 comments0 reactions0 assignees
Open
Ability to export TLC state graph
TLA+ Foundation FundingToolsenhancementhelp wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

tlaplus / tlaplus · #639 · Jun 26, 2021 · Java · 2,153 stars

8 comments1 reaction0 assignees