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

Clear current search query, filters, and sorts
32 Open 78 Closed
32 Open 78 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

Move away from Webview UI Toolkit for Visual Studio Code enhancement New feature or request
#360 opened Dec 24, 2024 by FedericoPonzi
Visualize simulations coverage metrics enhancement New feature or request TLA+ Foundation Funding
#355 opened Dec 13, 2024 by lemmy
1
Rename error trace to the more user friendly Counterexample documentation Improvements or additions to documentation enhancement New feature or request
#354 opened Dec 12, 2024 by FedericoPonzi • Draft
3
Feature parity with TLA+ Toolbox trace explorer enhancement New feature or request help wanted Extra attention is needed TLA+ Foundation Funding
#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
Add tlaplus-formatter support enhancement New feature or request TLA+ Foundation Funding
#327 opened Jul 21, 2024 by FedericoPonzi • Draft
LSP: Add option to download the TLAPM/LSP. enhancement New feature or request
#315 opened Dec 7, 2023 by kape1395
1
Rename second column of states table from "Diameter" to "Depth" enhancement New feature or request
#305 opened Sep 27, 2023 by heidihoward
3
"Output" tab on top of "Errors" tab enhancement New feature or request
#304 opened Sep 14, 2023 by lemmy
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
Add GUI element to reevaluate ALIAS enhancement New feature or request
#282 opened Apr 17, 2023 by JoshuaRowePhantom
1
Create new module command not found enhancement New feature or request
#269 opened Sep 15, 2022 by CES-dengzeyuan
11
TLA+ CommunityModules and vscode-tlaplus enhancement New feature or request
#249 opened Feb 11, 2022 by lemmy
2
Add "creation and last modified" footer to specs enhancement New feature or request
#246 opened Dec 22, 2021 by lemmy
2
Continuous (smoke) testing with TLC simulator upon editor save enhancement New feature or request
#242 opened Oct 11, 2021 by lemmy
9 of 10 tasks
@lemmy
3
Support github.dev & vscode.dev web editors enhancement New feature or request TLA+ Foundation Funding
#239 opened Sep 15, 2021 by lemmy
2
Split parsing from PlusCal translation enhancement New feature or request
#238 opened Sep 9, 2021 by lemmy
1
"Check and debug model with TLC" not enabled for MC.cfg enhancement New feature or request
#221 opened Jun 3, 2021 by lemmy v1.6.0
8
Clicking on a module name on the EXTENDS line should open the module enhancement New feature or request
#218 opened May 28, 2021 by lemmy
7
Show command "Check model with TLC" even when the model checking panel has focus enhancement New feature or request
#215 opened May 26, 2021 by lemmy
7
"Go to definition" for definitions in module extended enhancement New feature or request
#181 opened Dec 10, 2020 by lemmy
1
Run TLC in VSCode integrated terminal enhancement New feature or request
#175 opened Nov 17, 2020 by lemmy
2
PlusCal <> TLA+ divergence detection enhancement New feature or request
#166 opened Aug 11, 2020 by lemmy
Invoke parse_module command on each save/modify action enhancement New feature or request
#163 opened Jul 23, 2020 by magniff v1.7.0
3
Better separate models and specs enhancement New feature or request
#159 opened Jun 17, 2020 by lemmy
17
ProTip! Type g i on any issue or pull request to go back to the issue listing page.