Markus Alexander Kuppe
Markus Alexander Kuppe
Github pedals back: > 24-July-2023 Update: Our telemetry shows significant usage of these commands so we have decided to postpone the removal. To learn more, visit the [latest changelog post](https://github.blog/changelog/2023-07-24-github-actions-update-on-save-state-and-set-output-commands/).
Related to https://github.com/tlaplus/vscode-tlaplus/issues/261
Workaround: * Have TLC generate a trace exploration spec (`MySpec_TTrace_$timestamp.tla`) by passing `-generateSpecTE` (not passing `-noTE`) * Manually add you Alias to the trace exploration spec * Repeatedly check the...
Perhaps it's TLC that should provide annotations in its textual error trace to free IDEs from parsing and evaluating values.
The Toolbox's set difference algorithm: https://github.com/tlaplus/tlaplus/blob/baf6f1b4000ba72cd4ac2704d07c60ea2ae8343b/toolbox/org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/output/data/TLCSetVariableValue.java#L69-L107
@afonsonf Do you have plans to re-add the functionality that shows deleted set elements in the error trace view? https://github.com/tlaplus/vscode-tlaplus/blob/0e16f404f55a43abf6e681dce906a7c7cc34e127/resources/check-result-view.js#L334-L336
Incomplete attempt to bring the rest of the Toolbox diffing over: ```diff diff --git a/src/model/check.ts b/src/model/check.ts index 79c015a..bf60526 100644 --- a/src/model/check.ts +++ b/src/model/check.ts @@ -178,6 +178,14 @@ export class Value...
> @afonsonf Do you have plans to re-add the functionality that shows deleted set elements in the error trace view? > > https://github.com/tlaplus/vscode-tlaplus/blob/0e16f404f55a43abf6e681dce906a7c7cc34e127/resources/check-result-view.js#L334-L336 A set will only be marked modified...
> I agree with this. Also, if the releasing process changes, can we avoid releases if no new commits are on the main branch? Currently, each day, I get notifications...
FWIW: Latex Workshop [raises a warning in VSCode](https://github.com/James-Yu/LaTeX-Workshop/blob/28892b878acc7c2c839b986f1065f13cdf485ed2/src/main.ts#L328-L335) when incompatible extensions are installed.