-
Notifications
You must be signed in to change notification settings - Fork 32
Issues: tlaplus/vscode-tlaplus
PlusCal syntax highlighting breaks if --algorithm is not on l...
#104
opened Sep 26, 2019 by
dricketts
Open
6
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
Label
Milestones
Assignee
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
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
Rename second column of states table from "Diameter" to "Depth"
enhancement
New feature or request
#305
opened Sep 27, 2023 by
heidihoward
"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
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
Create new module command not found
enhancement
New feature or request
#269
opened Sep 15, 2022 by
CES-dengzeyuan
Running status still shows Something isn't working
Checkpointing
even after checkpointing has completed
bug
#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
Value view window should be automatically word-wrapped
#259
opened May 28, 2022 by
JoshuaRowePhantom
Model checking pane should show location of semantic analysis failures
#258
opened May 28, 2022 by
JoshuaRowePhantom
Previous Next
ProTip!
Follow long discussions with comments:>50.