issues
search
ocadaruma
/
tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
Apache License 2.0
51
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Address deprecated APIs fixes #40
#41
ocadaruma
closed
1 week ago
0
Exception in plugin TLA+ (0.9.4)
#40
lemmy
closed
1 week ago
2
prepare for intellij 2024.2
#39
ocadaruma
closed
1 month ago
0
Implement TLA debugger
#38
ocadaruma
opened
5 months ago
1
prepare for intellij 2024
#37
ocadaruma
closed
5 months ago
0
fix junction parsing logic fixes #35
#36
ocadaruma
closed
6 months ago
0
Parse error is reported falsely
#35
ocadaruma
closed
6 months ago
0
support 233
#34
ocadaruma
closed
1 year ago
0
support 232
#33
ocadaruma
closed
1 year ago
0
support 231 fixes #31
#32
ocadaruma
closed
1 year ago
0
Update the plugin to IntelliJ 2023
#31
alexd6631
closed
1 year ago
7
Parse "Back to state"
#30
ocadaruma
opened
1 year ago
0
Add Run-Option to configure the number of workers used
#29
crazy-weasel
closed
1 year ago
2
Fix coverage parsing
#28
ocadaruma
closed
1 year ago
0
Generate TLC config is added as before-launch by default even for non-TLA configurations
#27
ocadaruma
closed
2 years ago
1
Request port to GoLand
#26
IdlePhysicist
closed
2 years ago
4
TLAPS integration
#25
ocadaruma
opened
2 years ago
2
Support idea 2022.1
#24
ocadaruma
closed
2 years ago
0
fix operator precedence closes #22
#23
ocadaruma
closed
2 years ago
0
Operator precedence
#22
ocadaruma
closed
2 years ago
0
Code formatting
#21
ocadaruma
opened
2 years ago
0
symbolic operator reference resolution
#20
ocadaruma
closed
2 years ago
0
Community Modules support
#19
ocadaruma
opened
2 years ago
0
Reference resolutions for symbolic operators
#18
ocadaruma
closed
2 years ago
1
Supply default keybinding
#17
ocadaruma
opened
2 years ago
0
Auto rename file when renaming module name
#16
ocadaruma
opened
2 years ago
0
Reference resolution and completion in PlusCal
#15
ocadaruma
opened
2 years ago
0
Reference resolution and completion in TLC config
#14
ocadaruma
closed
2 years ago
1
TLC config scaffolding
#13
ocadaruma
opened
2 years ago
0
Evaluate expression
#12
ocadaruma
closed
2 years ago
0
Apalache integration
#11
ocadaruma
opened
2 years ago
0
Fix incorrect Pluscal translatation
#10
okue
closed
2 years ago
2
Incorrect PlusCal translation maybe due to upstream
#9
okue
closed
2 years ago
3
Errors panel as text pane instead of table
#8
ocadaruma
closed
2 years ago
0
Performance improvement
#7
ocadaruma
closed
2 years ago
1
Is it safe to update UI from ProcessHandler directly?
#6
ocadaruma
closed
2 years ago
2
ErrorTrace support
#5
ocadaruma
closed
2 years ago
2
TLC config support
#4
ocadaruma
closed
2 years ago
1
Jump to source location from result panel
#3
ocadaruma
opened
2 years ago
2
Go to definition
#2
ocadaruma
closed
2 years ago
1
Known issues
#1
ocadaruma
closed
2 years ago
4