vscode-tlaplus
vscode-tlaplus copied to clipboard
tlaplus
TLA+ language support for Visual Studio Code
There are no visual studio code processes running. This error is seen on Windows 11
Error running tla2tex.TLA (exit code 1) Exception in thread "main" tla2tex.TLA2TexException: TLATeX unrecoverable error: -- Trying to run the command `latex example.tex' produced the following error Cannot run program "latex":...
Checkpointing successfully finished ~20 mins ago (and model checking has resumed) but the running status still shows ``Checkpointing``. I am running v1.5.4. 
Should a new release be published soon? Or is there a link to how to install the latest version? I discovered this when attempting to use the ALIAS keyword in...
https://code.visualstudio.com/blogs/2021/10/11/webview-ui-toolkit https://github.com/tlaplus/vscode-tlaplus/issues/260 https://github.com/tlaplus/vscode-tlaplus/issues/259 https://github.com/tlaplus/vscode-tlaplus/issues/258 https://github.com/tlaplus/vscode-tlaplus/issues/257 https://github.com/tlaplus/vscode-tlaplus/issues/256 https://github.com/tlaplus/vscode-tlaplus/issues/255 https://github.com/tlaplus/vscode-tlaplus/issues/250 https://github.com/tlaplus/vscode-tlaplus/issues/239 https://github.com/tlaplus/vscode-tlaplus/issues/229 https://github.com/tlaplus/vscode-tlaplus/issues/215 https://github.com/tlaplus/vscode-tlaplus/issues/164
In some circumstances with long error trace records, I cannot click on the magnifying glass icon to view a long error trace value. The mouse ends up selecting background text....
The "Check Again" link scrolls out of view in the Error Trace pane when navigating to the end. It should stay in view. I haven't been able to find a...
After clicking the "view value" icon in the error trace view, the resulting value window should be automatically word-wrapped or pretty printed in some way. The reason the user pressed...
The error trace view says this: ``` Errors Unknown operator: `threadStates'. Semantic errors: Unknown operator: `threadStates'. Parsing or semantic analysis failed. ``` The output window says this: ``` Semantic processing...
It doesn't appear to be possible to navigate the error trace window using the keyboard to e.g. expand items or copy values. This is an accessibility issue.