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.

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

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

Issues list

"Stop model checking" button doesn't work on Windows bug Something isn't working
#345 opened Oct 24, 2024 by hwayne
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
"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
Add Wiki documentation for TLC options documentation Improvements or additions to documentation enhancement New feature or request
#297 opened Jul 18, 2023 by CIPop
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
Error-Trace modification/addition annotations broken bug Something isn't working
#291 opened May 21, 2023 by lemmy
Add GUI element to reevaluate ALIAS enhancement New feature or request
#282 opened Apr 17, 2023 by JoshuaRowePhantom
Model Parsing Causes File Save Conflict in remote development bug Something isn't working
#278 opened Feb 28, 2023 by aozgaa
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
Markdown with embedded TLA+
#276 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
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.