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
Jul 4, 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

RSSAtom
Open
Add compact output mode to XMLExporter.
AIToolsenhancementhelp wanted

tlaplus/tlaplus #1,299 opened Feb 3, 2026 · Java · 2,153 stars

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

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

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

tlaplus/tlaplus #1,072 opened Nov 13, 2024 · Java · 2,153 stars

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

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

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

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

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

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

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

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

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available
8 comments1 reaction0 assignees