├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .eslintignore ├── .eslintrc.json ├── .github ├── ISSUE_TEMPLATE │ ├── bug-report.md │ ├── doc.md │ ├── enhancement.md │ └── feature-request.md ├── dependabot.yml └── workflows │ ├── ci.yml │ └── release.yml ├── .gitignore ├── .sonarcloud.properties ├── .vscode ├── cspell.json ├── launch.json ├── settings.json └── tasks.json ├── .vscodeignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── esbuild.js ├── languages ├── cfg-grammar.json ├── cfg-lang-config.json ├── out-grammar.json ├── pluscal-grammar.json ├── pluscal-lang-config.json ├── pluscal-snippets.json ├── tlaplus-grammar.json ├── tlaplus-lang-config.json └── tlaplus-snippets.json ├── package.json ├── playwright.config.ts ├── resources ├── images │ ├── fonts-conceal.png │ ├── fonts-ligatures.png │ ├── icons-material │ │ ├── README.md │ │ ├── check_box_outline_blank_FILL0_wght400_GRAD0_opsz24-color.svg │ │ ├── check_box_outline_blank_FILL0_wght400_GRAD0_opsz24.svg │ │ ├── check_circle_FILL0_wght400_GRAD0_opsz24-color.svg │ │ ├── check_circle_FILL0_wght400_GRAD0_opsz24.svg │ │ ├── close_FILL0_wght400_GRAD0_opsz24-color.svg │ │ ├── close_FILL0_wght400_GRAD0_opsz24.svg │ │ ├── editor_choice_FILL0_wght400_GRAD0_opsz24-color.svg │ │ ├── editor_choice_FILL0_wght400_GRAD0_opsz24.svg │ │ ├── help_FILL0_wght400_GRAD0_opsz24-color.svg │ │ ├── help_FILL0_wght400_GRAD0_opsz24.svg │ │ ├── more_horiz_FILL0_wght400_GRAD0_opsz24-color.svg │ │ └── more_horiz_FILL0_wght400_GRAD0_opsz24.svg │ ├── preview-dark.svg │ ├── preview-light.svg │ ├── screencast.gif │ ├── tlaplus-nightly.png │ ├── tlaplus.png │ └── tlaplus.svg └── knowledgebase │ ├── tla-RandomElement.md │ ├── tla-animations.md │ ├── tla-bestpractice-spec-properties.md │ ├── tla-choose-nondeterminism.md │ ├── tla-diagnose-property-violations.md │ ├── tla-different-configurations.md │ ├── tla-empty-unchanged.md │ ├── tla-extends-instance.md │ ├── tla-functions-operators.md │ ├── tla-indentation.md │ ├── tla-no-conjunct-of-invariants.md │ ├── tla-pluscal.md │ ├── tla-prove-type-correctness-lemma.md │ ├── tla-refinement.md │ ├── tla-stuttering.md │ ├── tla-symbols-set-operations.md │ ├── tlc-config-files.md │ └── tlc-trace-validation.md ├── scripts └── playwright-generate-check-result.js ├── src ├── JarFileSystemProvider.ts ├── actions.ts ├── commands │ ├── checkModel.ts │ ├── customModel.ts │ ├── evaluateExpression.ts │ ├── exportModule.ts │ ├── parseModule.ts │ ├── runRepl.ts │ ├── tlcStatisticsCfg.ts │ ├── toggleCoverage.ts │ ├── visualizeCoverage.ts │ └── visualizeOutput.ts ├── common.ts ├── completions │ ├── cfgCompletions.ts │ ├── completions.ts │ └── tlaCompletions.ts ├── debugger │ └── debugging.ts ├── declarations │ └── tlaDeclarations.ts ├── diagnostic.ts ├── formatters │ ├── cfg.ts │ ├── formatting.ts │ └── tla.ts ├── lm │ ├── MCPServer.ts │ ├── SANYTool.ts │ └── TLCTool.ts ├── main.browser.ts ├── main.ts ├── model │ ├── check.ts │ ├── coverage.ts │ ├── documentInfo.ts │ ├── paths.ts │ └── tlaps.ts ├── outputChannels.ts ├── outputHandler.ts ├── outputSaver.ts ├── panels │ ├── checkResultView.ts │ ├── coverageView.ts │ ├── currentProofStepWebviewViewProvider.ts │ ├── moduleSearchPathsTreeDataProvider.ts │ └── utilities │ │ ├── getNonce.ts │ │ ├── getUri.ts │ │ └── workspace.ts ├── parsers │ ├── javaVersion.ts │ ├── ndjson.ts │ ├── pluscal.ts │ ├── sany.ts │ ├── tlc.ts │ ├── tlcCodes.ts │ └── tlcValues.ts ├── paths.ts ├── symbols │ └── tlaSymbols.ts ├── tla2tools.ts ├── tlaps.ts ├── tlcCoverage.ts └── webview │ ├── check-result-view.tsx │ ├── checkResultView │ ├── common.tsx │ ├── errorTraceSection │ │ ├── errorTrace.tsx │ │ ├── errorTraceState.tsx │ │ ├── errorTraceVariable.tsx │ │ ├── index.css │ │ ├── index.tsx │ │ └── treeItemRegistry.ts │ ├── headerSection │ │ ├── index.css │ │ └── index.tsx │ ├── outputSection │ │ ├── index.css │ │ └── index.tsx │ ├── statsSection │ │ ├── coverageStats.tsx │ │ ├── index.css │ │ ├── index.tsx │ │ └── statesStats.tsx │ └── vscode.ts │ ├── common │ ├── formatters.ts │ └── vscode_api.ts │ ├── coverage-view.tsx │ ├── coverageView │ ├── coverageChart.css │ ├── coverageChart.tsx │ ├── coverageFileDeleted.css │ ├── coverageFileDeleted.tsx │ ├── coverageHeader.css │ ├── coverageHeader.tsx │ ├── index.css │ └── vscode.ts │ └── current-proof-step │ ├── main.tsx │ ├── noteIcon │ ├── index.css │ └── index.tsx │ ├── obligation │ ├── index.css │ └── index.tsx │ ├── proofStatusIcon │ ├── index.css │ └── index.tsx │ ├── stepCounts │ └── index.tsx │ └── vscode_client.ts ├── tests ├── fixtures │ ├── parsers │ │ └── tlc │ │ │ ├── coverage-with-location.out │ │ │ ├── empty-calplus.out │ │ │ ├── error-continue.out │ │ │ ├── error-message-links.out │ │ │ ├── error-trace-back-to-state-ext.out │ │ │ ├── error-trace-back-to-state.out │ │ │ ├── error-trace-single.out │ │ │ ├── error-trace-stuttering.out │ │ │ ├── error-trace.out │ │ │ ├── localized-ints.out │ │ │ ├── nested-exception-message.out │ │ │ ├── no-line-break-end.out │ │ │ ├── no-line-break-switch.out │ │ │ ├── override-stdout.out │ │ │ ├── print-output.out │ │ │ ├── sany-error.out │ │ │ ├── sany-warning.out │ │ │ ├── severity-levels.out │ │ │ ├── state-timestamp-duplication.out │ │ │ └── warning.out │ ├── playwright │ │ ├── check-result.json │ │ ├── check-result │ │ │ ├── Spec.tla │ │ │ └── error-trace.out │ │ └── public │ │ │ ├── fonts │ │ │ ├── Inter-Regular.woff2 │ │ │ ├── LICENSE.txt │ │ │ └── OFL.txt │ │ │ └── index.html │ └── syntax │ │ ├── .gitignore │ │ ├── dependency.tla │ │ ├── model.cfg │ │ ├── pluscal.tla │ │ └── tlaplus.tla ├── playwright │ ├── error-trace.spec.ts │ ├── error-trace.spec.ts-snapshots │ │ └── error-trace-chromium-linux.png │ └── support │ │ └── server.ts ├── runTest.ts └── suite │ ├── commands │ ├── checkModelCancel.test.ts │ └── parseModule.test.ts │ ├── completions │ ├── cfgCompletions.test.ts │ ├── completion.ts │ └── tlaCompletions.test.ts │ ├── declarations │ └── tlaDeclarations.test.ts │ ├── document.ts │ ├── formatters │ ├── cfg.test.ts │ ├── formatting.ts │ └── tla.test.ts │ ├── index.ts │ ├── languages │ ├── GrammarTests.md │ ├── tlaplus-grammar-test-extended.tla │ ├── tlaplus-grammar-test-issue-361.tla │ ├── tlaplus-grammar-test-submodule.tla │ └── tlaplus-grammar-test.tla │ ├── lm │ ├── mcpServer.test.ts │ ├── mcpServerKnowledgebase.test.ts │ ├── sanyTool.test.ts │ └── tlcTool.test.ts │ ├── model │ ├── check-set-diff-properties.test.ts │ └── check.test.ts │ ├── panels │ └── checkResultView.test.ts │ ├── parsers │ ├── ndjson.test.ts │ ├── pluscal.test.ts │ ├── sany.test.ts │ ├── testUtils.ts │ ├── tlc.test.ts │ └── tlcValues.test.ts │ ├── shortcuts.ts │ ├── symbols │ └── tlaSymbols.test.ts │ ├── tla2tools.test.ts │ └── webview │ └── treeItemRegistry.test.ts ├── tools ├── CommunityModules-deps.jar ├── template.cfg └── tla2tools.jar ├── tsconfig.json └── tsconfig.webview.json /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.eslintignore: -------------------------------------------------------------------------------- 1 | out/* 2 | node_modules/* 3 | -------------------------------------------------------------------------------- /.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.eslintrc.json -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/ISSUE_TEMPLATE/bug-report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/doc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/ISSUE_TEMPLATE/doc.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/enhancement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/ISSUE_TEMPLATE/enhancement.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/ISSUE_TEMPLATE/feature-request.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.gitignore -------------------------------------------------------------------------------- /.sonarcloud.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.sonarcloud.properties -------------------------------------------------------------------------------- /.vscode/cspell.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.vscode/cspell.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/.vscodeignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/README.md -------------------------------------------------------------------------------- /esbuild.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/esbuild.js -------------------------------------------------------------------------------- /languages/cfg-grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/cfg-grammar.json -------------------------------------------------------------------------------- /languages/cfg-lang-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/cfg-lang-config.json -------------------------------------------------------------------------------- /languages/out-grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/out-grammar.json -------------------------------------------------------------------------------- /languages/pluscal-grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/pluscal-grammar.json -------------------------------------------------------------------------------- /languages/pluscal-lang-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/pluscal-lang-config.json -------------------------------------------------------------------------------- /languages/pluscal-snippets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/pluscal-snippets.json -------------------------------------------------------------------------------- /languages/tlaplus-grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/tlaplus-grammar.json -------------------------------------------------------------------------------- /languages/tlaplus-lang-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/tlaplus-lang-config.json -------------------------------------------------------------------------------- /languages/tlaplus-snippets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/languages/tlaplus-snippets.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/package.json -------------------------------------------------------------------------------- /playwright.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/playwright.config.ts -------------------------------------------------------------------------------- /resources/images/fonts-conceal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/fonts-conceal.png -------------------------------------------------------------------------------- /resources/images/fonts-ligatures.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/fonts-ligatures.png -------------------------------------------------------------------------------- /resources/images/icons-material/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/README.md -------------------------------------------------------------------------------- /resources/images/icons-material/check_box_outline_blank_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/check_box_outline_blank_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/check_box_outline_blank_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/check_box_outline_blank_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/icons-material/check_circle_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/check_circle_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/check_circle_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/check_circle_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/icons-material/close_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/close_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/close_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/close_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/icons-material/editor_choice_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/editor_choice_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/editor_choice_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/editor_choice_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/icons-material/help_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/help_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/help_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/help_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/icons-material/more_horiz_FILL0_wght400_GRAD0_opsz24-color.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/more_horiz_FILL0_wght400_GRAD0_opsz24-color.svg -------------------------------------------------------------------------------- /resources/images/icons-material/more_horiz_FILL0_wght400_GRAD0_opsz24.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/icons-material/more_horiz_FILL0_wght400_GRAD0_opsz24.svg -------------------------------------------------------------------------------- /resources/images/preview-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/preview-dark.svg -------------------------------------------------------------------------------- /resources/images/preview-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/preview-light.svg -------------------------------------------------------------------------------- /resources/images/screencast.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/screencast.gif -------------------------------------------------------------------------------- /resources/images/tlaplus-nightly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/tlaplus-nightly.png -------------------------------------------------------------------------------- /resources/images/tlaplus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/tlaplus.png -------------------------------------------------------------------------------- /resources/images/tlaplus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/images/tlaplus.svg -------------------------------------------------------------------------------- /resources/knowledgebase/tla-RandomElement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-RandomElement.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-animations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-animations.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-bestpractice-spec-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-bestpractice-spec-properties.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-choose-nondeterminism.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-choose-nondeterminism.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-diagnose-property-violations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-diagnose-property-violations.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-different-configurations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-different-configurations.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-empty-unchanged.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-empty-unchanged.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-extends-instance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-extends-instance.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-functions-operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-functions-operators.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-indentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-indentation.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-no-conjunct-of-invariants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-no-conjunct-of-invariants.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-pluscal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-pluscal.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-prove-type-correctness-lemma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-prove-type-correctness-lemma.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-refinement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-refinement.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-stuttering.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-stuttering.md -------------------------------------------------------------------------------- /resources/knowledgebase/tla-symbols-set-operations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tla-symbols-set-operations.md -------------------------------------------------------------------------------- /resources/knowledgebase/tlc-config-files.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tlc-config-files.md -------------------------------------------------------------------------------- /resources/knowledgebase/tlc-trace-validation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/resources/knowledgebase/tlc-trace-validation.md -------------------------------------------------------------------------------- /scripts/playwright-generate-check-result.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/scripts/playwright-generate-check-result.js -------------------------------------------------------------------------------- /src/JarFileSystemProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/JarFileSystemProvider.ts -------------------------------------------------------------------------------- /src/actions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/actions.ts -------------------------------------------------------------------------------- /src/commands/checkModel.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/checkModel.ts -------------------------------------------------------------------------------- /src/commands/customModel.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/customModel.ts -------------------------------------------------------------------------------- /src/commands/evaluateExpression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/evaluateExpression.ts -------------------------------------------------------------------------------- /src/commands/exportModule.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/exportModule.ts -------------------------------------------------------------------------------- /src/commands/parseModule.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/parseModule.ts -------------------------------------------------------------------------------- /src/commands/runRepl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/runRepl.ts -------------------------------------------------------------------------------- /src/commands/tlcStatisticsCfg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/tlcStatisticsCfg.ts -------------------------------------------------------------------------------- /src/commands/toggleCoverage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/toggleCoverage.ts -------------------------------------------------------------------------------- /src/commands/visualizeCoverage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/visualizeCoverage.ts -------------------------------------------------------------------------------- /src/commands/visualizeOutput.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/commands/visualizeOutput.ts -------------------------------------------------------------------------------- /src/common.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/common.ts -------------------------------------------------------------------------------- /src/completions/cfgCompletions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/completions/cfgCompletions.ts -------------------------------------------------------------------------------- /src/completions/completions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/completions/completions.ts -------------------------------------------------------------------------------- /src/completions/tlaCompletions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/completions/tlaCompletions.ts -------------------------------------------------------------------------------- /src/debugger/debugging.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/debugger/debugging.ts -------------------------------------------------------------------------------- /src/declarations/tlaDeclarations.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/declarations/tlaDeclarations.ts -------------------------------------------------------------------------------- /src/diagnostic.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/diagnostic.ts -------------------------------------------------------------------------------- /src/formatters/cfg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/formatters/cfg.ts -------------------------------------------------------------------------------- /src/formatters/formatting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/formatters/formatting.ts -------------------------------------------------------------------------------- /src/formatters/tla.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/formatters/tla.ts -------------------------------------------------------------------------------- /src/lm/MCPServer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/lm/MCPServer.ts -------------------------------------------------------------------------------- /src/lm/SANYTool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/lm/SANYTool.ts -------------------------------------------------------------------------------- /src/lm/TLCTool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/lm/TLCTool.ts -------------------------------------------------------------------------------- /src/main.browser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/main.browser.ts -------------------------------------------------------------------------------- /src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/main.ts -------------------------------------------------------------------------------- /src/model/check.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/model/check.ts -------------------------------------------------------------------------------- /src/model/coverage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/model/coverage.ts -------------------------------------------------------------------------------- /src/model/documentInfo.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/model/documentInfo.ts -------------------------------------------------------------------------------- /src/model/paths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/model/paths.ts -------------------------------------------------------------------------------- /src/model/tlaps.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/model/tlaps.ts -------------------------------------------------------------------------------- /src/outputChannels.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/outputChannels.ts -------------------------------------------------------------------------------- /src/outputHandler.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/outputHandler.ts -------------------------------------------------------------------------------- /src/outputSaver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/outputSaver.ts -------------------------------------------------------------------------------- /src/panels/checkResultView.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/checkResultView.ts -------------------------------------------------------------------------------- /src/panels/coverageView.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/coverageView.ts -------------------------------------------------------------------------------- /src/panels/currentProofStepWebviewViewProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/currentProofStepWebviewViewProvider.ts -------------------------------------------------------------------------------- /src/panels/moduleSearchPathsTreeDataProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/moduleSearchPathsTreeDataProvider.ts -------------------------------------------------------------------------------- /src/panels/utilities/getNonce.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/utilities/getNonce.ts -------------------------------------------------------------------------------- /src/panels/utilities/getUri.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/utilities/getUri.ts -------------------------------------------------------------------------------- /src/panels/utilities/workspace.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/panels/utilities/workspace.ts -------------------------------------------------------------------------------- /src/parsers/javaVersion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/javaVersion.ts -------------------------------------------------------------------------------- /src/parsers/ndjson.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/ndjson.ts -------------------------------------------------------------------------------- /src/parsers/pluscal.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/pluscal.ts -------------------------------------------------------------------------------- /src/parsers/sany.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/sany.ts -------------------------------------------------------------------------------- /src/parsers/tlc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/tlc.ts -------------------------------------------------------------------------------- /src/parsers/tlcCodes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/tlcCodes.ts -------------------------------------------------------------------------------- /src/parsers/tlcValues.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/parsers/tlcValues.ts -------------------------------------------------------------------------------- /src/paths.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/paths.ts -------------------------------------------------------------------------------- /src/symbols/tlaSymbols.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/symbols/tlaSymbols.ts -------------------------------------------------------------------------------- /src/tla2tools.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/tla2tools.ts -------------------------------------------------------------------------------- /src/tlaps.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/tlaps.ts -------------------------------------------------------------------------------- /src/tlcCoverage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/tlcCoverage.ts -------------------------------------------------------------------------------- /src/webview/check-result-view.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/check-result-view.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/common.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/common.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/errorTrace.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/errorTrace.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/errorTraceState.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/errorTraceState.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/errorTraceVariable.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/errorTraceVariable.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/index.css -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/index.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/errorTraceSection/treeItemRegistry.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/errorTraceSection/treeItemRegistry.ts -------------------------------------------------------------------------------- /src/webview/checkResultView/headerSection/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/headerSection/index.css -------------------------------------------------------------------------------- /src/webview/checkResultView/headerSection/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/headerSection/index.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/outputSection/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/outputSection/index.css -------------------------------------------------------------------------------- /src/webview/checkResultView/outputSection/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/outputSection/index.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/statsSection/coverageStats.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/statsSection/coverageStats.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/statsSection/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/statsSection/index.css -------------------------------------------------------------------------------- /src/webview/checkResultView/statsSection/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/statsSection/index.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/statsSection/statesStats.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/statsSection/statesStats.tsx -------------------------------------------------------------------------------- /src/webview/checkResultView/vscode.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/checkResultView/vscode.ts -------------------------------------------------------------------------------- /src/webview/common/formatters.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/common/formatters.ts -------------------------------------------------------------------------------- /src/webview/common/vscode_api.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/common/vscode_api.ts -------------------------------------------------------------------------------- /src/webview/coverage-view.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverage-view.tsx -------------------------------------------------------------------------------- /src/webview/coverageView/coverageChart.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageChart.css -------------------------------------------------------------------------------- /src/webview/coverageView/coverageChart.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageChart.tsx -------------------------------------------------------------------------------- /src/webview/coverageView/coverageFileDeleted.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageFileDeleted.css -------------------------------------------------------------------------------- /src/webview/coverageView/coverageFileDeleted.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageFileDeleted.tsx -------------------------------------------------------------------------------- /src/webview/coverageView/coverageHeader.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageHeader.css -------------------------------------------------------------------------------- /src/webview/coverageView/coverageHeader.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/coverageHeader.tsx -------------------------------------------------------------------------------- /src/webview/coverageView/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/index.css -------------------------------------------------------------------------------- /src/webview/coverageView/vscode.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/coverageView/vscode.ts -------------------------------------------------------------------------------- /src/webview/current-proof-step/main.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/main.tsx -------------------------------------------------------------------------------- /src/webview/current-proof-step/noteIcon/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/noteIcon/index.css -------------------------------------------------------------------------------- /src/webview/current-proof-step/noteIcon/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/noteIcon/index.tsx -------------------------------------------------------------------------------- /src/webview/current-proof-step/obligation/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/obligation/index.css -------------------------------------------------------------------------------- /src/webview/current-proof-step/obligation/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/obligation/index.tsx -------------------------------------------------------------------------------- /src/webview/current-proof-step/proofStatusIcon/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/proofStatusIcon/index.css -------------------------------------------------------------------------------- /src/webview/current-proof-step/proofStatusIcon/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/proofStatusIcon/index.tsx -------------------------------------------------------------------------------- /src/webview/current-proof-step/stepCounts/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/stepCounts/index.tsx -------------------------------------------------------------------------------- /src/webview/current-proof-step/vscode_client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/src/webview/current-proof-step/vscode_client.ts -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/coverage-with-location.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/coverage-with-location.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/empty-calplus.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/empty-calplus.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-continue.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-continue.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-message-links.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-message-links.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-trace-back-to-state-ext.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-trace-back-to-state-ext.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-trace-back-to-state.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-trace-back-to-state.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-trace-single.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-trace-single.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-trace-stuttering.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-trace-stuttering.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/error-trace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/error-trace.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/localized-ints.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/localized-ints.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/nested-exception-message.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/nested-exception-message.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/no-line-break-end.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/no-line-break-end.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/no-line-break-switch.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/no-line-break-switch.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/override-stdout.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/override-stdout.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/print-output.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/print-output.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/sany-error.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/sany-error.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/sany-warning.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/sany-warning.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/severity-levels.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/severity-levels.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/state-timestamp-duplication.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/state-timestamp-duplication.out -------------------------------------------------------------------------------- /tests/fixtures/parsers/tlc/warning.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/parsers/tlc/warning.out -------------------------------------------------------------------------------- /tests/fixtures/playwright/check-result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/check-result.json -------------------------------------------------------------------------------- /tests/fixtures/playwright/check-result/Spec.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/check-result/Spec.tla -------------------------------------------------------------------------------- /tests/fixtures/playwright/check-result/error-trace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/check-result/error-trace.out -------------------------------------------------------------------------------- /tests/fixtures/playwright/public/fonts/Inter-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/public/fonts/Inter-Regular.woff2 -------------------------------------------------------------------------------- /tests/fixtures/playwright/public/fonts/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/public/fonts/LICENSE.txt -------------------------------------------------------------------------------- /tests/fixtures/playwright/public/fonts/OFL.txt: -------------------------------------------------------------------------------- 1 | 404: Not Found -------------------------------------------------------------------------------- /tests/fixtures/playwright/public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/playwright/public/index.html -------------------------------------------------------------------------------- /tests/fixtures/syntax/.gitignore: -------------------------------------------------------------------------------- 1 | *.old 2 | *.out 3 | pluscal.cfg 4 | -------------------------------------------------------------------------------- /tests/fixtures/syntax/dependency.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/syntax/dependency.tla -------------------------------------------------------------------------------- /tests/fixtures/syntax/model.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/syntax/model.cfg -------------------------------------------------------------------------------- /tests/fixtures/syntax/pluscal.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/syntax/pluscal.tla -------------------------------------------------------------------------------- /tests/fixtures/syntax/tlaplus.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/fixtures/syntax/tlaplus.tla -------------------------------------------------------------------------------- /tests/playwright/error-trace.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/playwright/error-trace.spec.ts -------------------------------------------------------------------------------- /tests/playwright/error-trace.spec.ts-snapshots/error-trace-chromium-linux.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/playwright/error-trace.spec.ts-snapshots/error-trace-chromium-linux.png -------------------------------------------------------------------------------- /tests/playwright/support/server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/playwright/support/server.ts -------------------------------------------------------------------------------- /tests/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/runTest.ts -------------------------------------------------------------------------------- /tests/suite/commands/checkModelCancel.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/commands/checkModelCancel.test.ts -------------------------------------------------------------------------------- /tests/suite/commands/parseModule.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/commands/parseModule.test.ts -------------------------------------------------------------------------------- /tests/suite/completions/cfgCompletions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/completions/cfgCompletions.test.ts -------------------------------------------------------------------------------- /tests/suite/completions/completion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/completions/completion.ts -------------------------------------------------------------------------------- /tests/suite/completions/tlaCompletions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/completions/tlaCompletions.test.ts -------------------------------------------------------------------------------- /tests/suite/declarations/tlaDeclarations.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/declarations/tlaDeclarations.test.ts -------------------------------------------------------------------------------- /tests/suite/document.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/document.ts -------------------------------------------------------------------------------- /tests/suite/formatters/cfg.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/formatters/cfg.test.ts -------------------------------------------------------------------------------- /tests/suite/formatters/formatting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/formatters/formatting.ts -------------------------------------------------------------------------------- /tests/suite/formatters/tla.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/formatters/tla.test.ts -------------------------------------------------------------------------------- /tests/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/index.ts -------------------------------------------------------------------------------- /tests/suite/languages/GrammarTests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/languages/GrammarTests.md -------------------------------------------------------------------------------- /tests/suite/languages/tlaplus-grammar-test-extended.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/languages/tlaplus-grammar-test-extended.tla -------------------------------------------------------------------------------- /tests/suite/languages/tlaplus-grammar-test-issue-361.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/languages/tlaplus-grammar-test-issue-361.tla -------------------------------------------------------------------------------- /tests/suite/languages/tlaplus-grammar-test-submodule.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/languages/tlaplus-grammar-test-submodule.tla -------------------------------------------------------------------------------- /tests/suite/languages/tlaplus-grammar-test.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/languages/tlaplus-grammar-test.tla -------------------------------------------------------------------------------- /tests/suite/lm/mcpServer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/lm/mcpServer.test.ts -------------------------------------------------------------------------------- /tests/suite/lm/mcpServerKnowledgebase.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/lm/mcpServerKnowledgebase.test.ts -------------------------------------------------------------------------------- /tests/suite/lm/sanyTool.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/lm/sanyTool.test.ts -------------------------------------------------------------------------------- /tests/suite/lm/tlcTool.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/lm/tlcTool.test.ts -------------------------------------------------------------------------------- /tests/suite/model/check-set-diff-properties.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/model/check-set-diff-properties.test.ts -------------------------------------------------------------------------------- /tests/suite/model/check.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/model/check.test.ts -------------------------------------------------------------------------------- /tests/suite/panels/checkResultView.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/panels/checkResultView.test.ts -------------------------------------------------------------------------------- /tests/suite/parsers/ndjson.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/ndjson.test.ts -------------------------------------------------------------------------------- /tests/suite/parsers/pluscal.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/pluscal.test.ts -------------------------------------------------------------------------------- /tests/suite/parsers/sany.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/sany.test.ts -------------------------------------------------------------------------------- /tests/suite/parsers/testUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/testUtils.ts -------------------------------------------------------------------------------- /tests/suite/parsers/tlc.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/tlc.test.ts -------------------------------------------------------------------------------- /tests/suite/parsers/tlcValues.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/parsers/tlcValues.test.ts -------------------------------------------------------------------------------- /tests/suite/shortcuts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/shortcuts.ts -------------------------------------------------------------------------------- /tests/suite/symbols/tlaSymbols.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/symbols/tlaSymbols.test.ts -------------------------------------------------------------------------------- /tests/suite/tla2tools.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/tla2tools.test.ts -------------------------------------------------------------------------------- /tests/suite/webview/treeItemRegistry.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tests/suite/webview/treeItemRegistry.test.ts -------------------------------------------------------------------------------- /tools/CommunityModules-deps.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tools/CommunityModules-deps.jar -------------------------------------------------------------------------------- /tools/template.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tools/template.cfg -------------------------------------------------------------------------------- /tools/tla2tools.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tools/tla2tools.jar -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tsconfig.json -------------------------------------------------------------------------------- /tsconfig.webview.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/HEAD/tsconfig.webview.json --------------------------------------------------------------------------------