tlaplus vscode-tlaplus issues

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add diagnostic for pluscal labels inserted by translation

#350 hwayne closed 1 week ago
0
PDF Generation: feature parity with the toolbox

#349 FedericoPonzi closed 3 weeks ago
0
Generating PDF does not gray shade comments

#348 chris-ortiz-wdc closed 3 weeks ago
5
Hides undefined from check result view for stopped state

#347 FedericoPonzi closed 1 month ago
0
Add delete background color

#346 FedericoPonzi closed 1 month ago
0
"Stop model checking" button doesn't work on Windows

#345 hwayne opened 1 month ago
2
Add colored background to highlight changes to the state

#344 FedericoPonzi closed 1 month ago
0
Add issue templates

#343 FedericoPonzi closed 1 month ago
0
Feature parity with TLA+ Toolbox trace explorer

#342 lemmy opened 1 month ago
0
Display infobox when .cfg is missing

#341 FedericoPonzi closed 1 month ago
1
Revert "Merge pull request #336 from FedericoPonzi/issue-331"

#340 FedericoPonzi closed 1 month ago
0
Fix broken syntax highlighting after the first submodule

#339 FedericoPonzi closed 2 months ago
1
Show simulator's progress on the table in the side panel

#338 FedericoPonzi closed 2 months ago
0
Don't generate .cfg file when transpiling pluscal

#337 FedericoPonzi closed 2 months ago
0
Display infobox when .cfg is missing

#336 FedericoPonzi closed 2 months ago
6
Running invariant condition with VSCode TLA+ extension

#335 miksula closed 2 months ago
3
TLAPM: Show meaningful information in the current proof step view if tlaps is disabled.

#334 kape1395 opened 2 months ago
2
Pluscal translation errors suppressed if there are existing TLA+ errors

#333 hwayne closed 1 month ago
3
Create SECURITY.md

#332 xan187 closed 2 months ago
0
"Check Model with TLC" fails silently if there's no cfg file

#331 hwayne closed 2 months ago
2
fix: file path parsing in sany output

#330 afonsonf closed 3 months ago
2
Coverage has blank Action on both Nightly and TLA+ Foundation's TLA+ VScode, Alygin's version is OK.

#329 chris-ortiz-wdc closed 3 months ago
7
Combine "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" in new "tlaplus-lang" on VSCode Marketplace

#328 lemmy closed 3 months ago
0
Add tlaplus-formatter support

#327 FedericoPonzi opened 4 months ago
0
Module search paths can be shared between tools.

#325 kape1395 closed 9 months ago
0
VSCode status panel stuck in computing initial states when using simulation mode

#324 joshuazh-x closed 2 months ago
3
LSP: Share module search paths between the TLAPS and SANY.

#323 kape1395 closed 9 months ago
4
Adapt to changes in the lsp server.

#322 kape1395 closed 10 months ago
1
Support ANSI escape sequence in trace explorer web view.

#321 lemmy closed 10 months ago
0
Support ANSI escape sequence in trace explorer web view

#320 lemmy closed 10 months ago
2
Initial version for the proof state view.

#319 kape1395 closed 10 months ago
2
Replace "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" on VSCode Marketplace with TLA+ Foundation owned publisher

#318 lemmy closed 3 months ago
19
Add a "Check and debug model with TLC using non-default config..." command.

#317 lemmy closed 11 months ago
0
Make TLAPS proof step decorators less distractive.

#316 kape1395 closed 11 months ago
6
LSP: Add option to download the TLAPM/LSP.

#315 kape1395 opened 11 months ago
0
LSP: Proof step decorations look too distractive.

#314 kape1395 closed 10 months ago
1
LSP: TLAPS integration makes the IDE crash sometimes.

#313 kape1395 closed 10 months ago
1
LSP: Document annotations are sometimes lost.

#312 kape1395 closed 10 months ago
2
Variables not working as Watch expression

#311 nano-o closed 12 months ago
6
Is there a way to add invariants as in the GUI?

#310 erlingrj closed 1 year ago
3
Remove keybindings

#309 eddyashton closed 1 year ago
0
The `tlaplus.tlaps.check-step` key-binding breaks VSCode's "go to line number" binding

#308 eddyashton closed 1 year ago
2
TLAPS support via LSP.

#307 kape1395 closed 1 year ago
15
Initial support for TLAPS.

#306 kape1395 closed 1 year ago
2
Rename second column of states table from "Diameter" to "Depth"

#305 heidihoward opened 1 year ago
1
"Output" tab on top of "Errors" tab

#304 lemmy opened 1 year ago
0
Highlight variable change type

#303 afonsonf closed 1 year ago
2
Fix: Show deleted items on error trace

#302 afonsonf closed 1 year ago
2
Error-Trace modification/addition annotations broken #291

#301 lemmy closed 1 year ago
0
Using the extension with remote-ssh

#300 nano-o opened 1 year ago
2