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

63 Open 127 Closed
63 Open 127 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
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

"Stop model checking" button doesn't work on Windows bug Something isn't working
#345 opened Oct 24, 2024 by hwayne
2
Feature parity with TLA+ Toolbox trace explorer enhancement New feature or request help wanted Extra attention is needed
#342 opened Oct 7, 2024 by lemmy
13 tasks
TLAPM: Show meaningful information in the current proof step view if tlaps is disabled. enhancement New feature or request
#334 opened Sep 20, 2024 by kape1395
@kape1395
2
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
2
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 good first issue Good for newcomers help wanted Extra attention is needed
#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
7
"Check Again" no-op if TLA+ debugger currently running
#288 opened May 5, 2023 by lemmy
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
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
8
"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
Keyboard accessibility of the error trace window
#257 opened May 28, 2022 by JoshuaRowePhantom
ProTip! Add no:assignee to see everything that’s not assigned.