Skip to content

Issues: tlaplus/vscode-tlaplus

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

65 Open 117 Closed
65 Open 117 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

VSCode status panel stuck in computing initial states when using simulation mode bug Something isn't working help wanted Extra attention is needed
#324 opened Jan 31, 2024 by joshuazh-x
3
Merge "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" on Marketplace enhancement New feature or request
#318 opened Dec 19, 2023 by lemmy
3
LSP: Add option to download the TLAPM/LSP.
#315 opened Dec 7, 2023 by kape1395
Rename second column of states table from "Diameter" to "Depth" enhancement New feature or request
#305 opened Sep 27, 2023 by heidihoward
1
"Output" tab on top of "Errors" tab enhancement New feature or request
#304 opened Sep 14, 2023 by lemmy
Using the extension with remote-ssh
#300 opened Aug 11, 2023 by nano-o
1
Add Wiki documentation for TLC options documentation Improvements or additions to documentation enhancement New feature or request
#297 opened Jul 18, 2023 by CIPop
3
Check model with TLC is a no-op if there is no PlusCal in the file
#293 opened Jun 9, 2023 by david415
2
Error-Trace modification/addition annotations broken bug Something isn't working
#291 opened May 21, 2023 by lemmy
6
"Check Again" no-op if TLA+ debugger currently running
#288 opened May 5, 2023 by lemmy
1
Broken syntax highlighting after the first submodule bug Something isn't working
#284 opened Apr 24, 2023 by hwayne
1
Add GUI element to reevaluate ALIAS enhancement New feature or request
#282 opened Apr 17, 2023 by JoshuaRowePhantom
1
Model Parsing Causes File Save Conflict in remote development bug Something isn't working
#278 opened Feb 28, 2023 by aozgaa
3
Installing the released and the newest nightly build into VSCode causes problems enhancement New feature or request help wanted Extra attention is needed
#277 opened Jan 31, 2023 by lemmy
2
Markdown with embedded TLA+
#276 opened Jan 27, 2023 by frankshearar
"Check with TLC": keep focus on model's buffer
#275 opened Jan 27, 2023 by frankshearar
Re-generate VSCode marketplace token because GitHub Actions are going to break us bug Something isn't working
#270 opened Oct 14, 2022 by lemmy
2
Create new module command not found enhancement New feature or request
#269 opened Sep 15, 2022 by CES-dengzeyuan
11
How do I disable coverage and cost statistics
#268 opened Sep 1, 2022 by arthurgreef
1
TLA+ convert to PDF exits with "latex" not found on MAc
#266 opened Jul 29, 2022 by akkeshavan
1
Running status still shows Checkpointing even after checkpointing has completed bug Something isn't working
#264 opened Jun 21, 2022 by heidihoward
Latest release is 1.5.4 from over a year ago; there have been lots of changes; Need a new release
#262 opened May 28, 2022 by JoshuaRowePhantom
7
"Check Again" scrolls out of view in Error Trace pane
#260 opened May 28, 2022 by JoshuaRowePhantom
Value view window should be automatically word-wrapped
#259 opened May 28, 2022 by JoshuaRowePhantom
1
Model checking pane should show location of semantic analysis failures
#258 opened May 28, 2022 by JoshuaRowePhantom
ProTip! Updated in the last three days: updated:>2024-05-11.