Skip to content

No labels!

There aren’t any labels for this repository quite yet.

23 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
error, glitch, fault, flaw, ...
109
cannot reproduce
cannot reproduce
Unable to reproduce the reported problem
cantfix
cantfix
A ready-to-merge Pull Request will be accepted.
2
DevEnvironment
DevEnvironment
Everything related to the Toolbox development environment
4
duplicate
duplicate
enhancement
enhancement
Lets change things for the better
106
good first issue
good first issue
Your entry point to contributing to TLA+
5
help wanted
help wanted
We need your help
39
invalid
invalid
Does not belong here
Missing Information
Missing Information
More information, data, or discussions are needed
3
Model Editor
Model Editor
Changes related to the model editor within the toolbox
2
PlusCal
PlusCal
PlusCal Algorithm Language
18
question
question
5
refactoring
refactoring
Steadily improving code base
4
regression
regression
we've regressed
6
SANY
SANY
Issues involving SANY's analysis
25
TLAPS
TLAPS
Toolbox functionality related to the TLA proof system/manager
5
Toolbox
Toolbox
The TLA Toolbox/IDE
71
Tools
Tools
The command line tools - TLC, SANY, ...
142
Unicode
Unicode
Unicode support for TLA
4
upstream
upstream
Upstream issue in a dependency such a Eclipse
3
usability
usability
UX design related issues
8
wontfix
wontfix
Sorry, no can do