Skip to content

No labels!

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

21 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
36
cannot reproduce
cannot reproduce
This bug cannot be reproduced
1
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
67
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
ltsmin
ltsmin
ProB LTSmin extension
1
prob_parsers
prob_parsers
Related to the B or LTL/CTL parsers of ProB
4
prob_prolog
prob_prolog
Issue related to ProB's Prolog kernel
25
ProB Tcl/Tk
ProB Tcl/Tk
Issue related to the Tcl/TK UI of ProB
prob2_kernel
prob2_kernel
Issue related to ProB2 Java API kernel
20
ProB2UI
ProB2UI
Issue related to JavaFX ProB2UI
79
question
question
Further information is requested
simb
simb
7
symbolic_model_checker
symbolic_model_checker
1
TLA2B
TLA2B
TLA to B Translation
5
visb
visb
11
vo-manager
vo-manager
17
wontfix
wontfix
This will not be worked on