vscode-tlaplus:TLA +语言对Visual Studio Code的支持 （117个子文件） 
template.cfg 378B model.cfg 179B check-result-view.css 4KB .eslintignore 21B
screencast.gif 1.35MB .gitignore 41B .gitignore 24B
check-result-view.html 4KB
tla2tools.jar 2.17MB check-result-view.js 19KB package-lock.json 103KB package.json 12KB tlaplus-grammar.json 7KB pluscal-grammar.json 4KB cfg-grammar.json 2KB pluscal-snippets.json 2KB launch.json 1KB .eslintrc.json 937B tlaplus-lang-config.json 704B pluscal-lang-config.json 545B tlaplus-snippets.json 525B tasks.json 494B out-grammar.json 320B tsconfig.json 175B settings.json 120B cfg-lang-config.json 97B LICENSE 1KB CHANGELOG.md 7KB CONTRIBUTING.md 6KB README.md 3KB error-trace.out 4KB empty-calplus.out 3KB state-timestamp-duplication.out 3KB error-continue.out 2KB warning.out 2KB error-trace-back-to-state.out 2KB no-line-break-switch.out 2KB no-line-break-end.out 2KB error-trace-stuttering.out 2KB error-trace-single.out 2KB error-message-links.out 1KB severity-levels.out 1KB sany-error.out 808B override-stdout.out 769B print-output.out 768B nested-exception-message.out 739B sany-warning.out 718B
fonts-ligatures.png 18KB fonts-conceal.png 18KB tlaplus.png 12KB .sonarcloud.properties 284B
display-val-hc.svg 1KB display-val-dark.svg 1KB display-val-light.svg 1KB copy-dark.svg 336B copy-light.svg 336B copy-hc.svg 336B preview-dark.svg 312B preview-light.svg 312B pluscal.tla 4KB tlaplus.tla 3KB dependency.tla 154B tlc.ts 25KB tlc.test.ts 23KB tlcCodes.ts 20KB tla.test.ts 17KB sany.test.ts 16KB tlaSymbols.test.ts 16KB check.ts 16KB tla2tools.ts 13KB tlaSymbols.ts 13KB tlcValues.test.ts 11KB checkModel.ts 10KB sany.ts 10KB tlcValues.ts 10KB tla2tools.test.ts 9KB shortcuts.ts 8KB tlaDeclarations.test.ts 7KB check.test.ts 6KB main.ts 6KB tlaCompletions.test.ts 6KB evaluateExpression.ts 6KB checkResultView.ts 6KB exportModule.ts 6KB tlaCompletions.ts 5KB common.ts 5KB tla.ts 5KB pluscal.test.ts 4KB pluscal.ts 4KB tlcStatisticsCfg.ts 3KB cfgCompletions.test.ts 3KB outputHandler.ts 3KB diagnostic.ts 3KB cfg.test.ts 3KB formatting.ts 3KB customModel.ts 2KB parseModule.ts 2KB tlaDeclarations.ts 2KB outputChannels.ts 2KB document.ts 2KB共 117 条
- 1
- 2
资源评论
马福报
- 粉丝: 28
- 资源: 4567
最新资源
- 曼哈顿矢量边界行政边界shp
- #3综合设计资料给学生.rar
- 软包电芯自动上料&焊接设备sw18全套技术资料100%好用.zip
- 砂带打磨机二坐标移动sw20可编辑全套技术资料100%好用.zip
- 烧烤烙印机sw15可编辑全套技术资料100%好用.zip
- Hadoop_2024_Fa.zip
- 开中我_开中我.开中我.apk
- 软包锂电池自动上料设备sw18可编辑全套技术资料100%好用.zip
- 湿巾纸包装袋椭圆型盖贴合设备x_t全套技术资料100%好用.zip
- 升降料仓（含DFM）sw17可编辑全套技术资料100%好用.zip
- 手持式超声波切布ug12全套技术资料100%好用.zip
- 手机标签自动贴合sw17可编辑全套技术资料100%好用.zip
- 手机电池漏液检测设备sw18全套技术资料100%好用.zip
- 手机电池上料裁切设备sw18可编辑全套技术资料100%好用.zip
- 手机键冲切机x_t全套技术资料100%好用.zip
- 手机电池压合机sw18全套技术资料100%好用.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
