vscode-pvs:LAR-19642-1
需积分: 5 85 浏览量
2021-04-06
08:31:25
上传
评论
收藏 167.61MB ZIP 举报
vscode-pvs:LAR-19642-1 （425个子文件） 
sq.jprf.bak 2KB CHANGELOG 7KB common 27B common 26B common 23B test.config 162B sq.jprf.corr 2KB prettify-pvs-code.css 6KB test.ddl 3KB PvsLanguage.g4 12KB PvsLexer.g4 7KB DdlLanguage.g4 6KB DdlPrettyPrinter.g4 5KB DdlLexer.g4 3KB PvsLanguageOutline.g4 2KB DdlEmbedding.g4 432B
vscode-pvs-theory-explorer.gif 1.31MB vscode-pvs-proof-explorer.gif 1.2MB vscode-pvs-peek-definition.gif 1013KB vscode-pvs-xterm.gif 798KB vscode-pvs-rapid-prototyping.gif 640KB vscode-pvs-autocompletion.gif 562KB how-to-install-vscode-pvs.gif 561KB vscode-pvs-hover.gif 380KB vscode-pvs-live-diagnostics.gif 374KB how-to-install-nasalib.gif 288KB vscode-pvs-goto-definition.gif 284KB vscode-pvs-plot-expression.gif 200KB how-to-open-pvs-workspace.gif 185KB vscode-pvs-search-nasalib.gif 178KB how-to-install-vscode-pvs-from-marketplace.gif 99KB how-to-reboot-pvs.gif 63KB .gitignore 270B .gitignore 79B test.hp 812B testhp.hpvs 903B discrete_loop_hp.hpvs 820B DdlParser.java 21KB PvsParser.java 19KB PvsTypechecker.java 18KB DdlPrettyPrinter.java 16KB ParserUtils.java 9KB foo.jprf 6KB helloworld.jprf 5KB BCtheory.jprf 859B helloworld.jprf 552B more_real_props.jprf 328B prettify-pvs-code.js 13KB webpack.config.js 702B package-lock.json 194KB package-lock.json 191KB package.json 48KB symbols.json 19KB package-lock.json 17KB package-lock.json 9KB package-lock.json 7KB pvs-language.json 5KB pvs-language-configuration.json 3KB package.json 3KB package.json 2KB package.json 2KB launch.json 1KB tasks.json 893B package.json 813B pvs-icons-theme.json 743B tsconfig.json 601B settings.json 568B tsconfig.json 348B tsconfig.json 347B tsconfig.json 281B tsconfig.json 234B package.json 230B settings.json 193B package-lock.json 91B jsdocconfig.json 83B snippets.json 4B LICENSE 12KB grind.lisp 37B Makefile 7KB Makefile 4KB Makefile 2KB Makefile 2KB Makefile 2KB Makefile 166B USER-INTERFACE.md 12KB WELCOME.md 11KB README.md 11KB README.md 11KB TUTORIAL.md 10KB FAQ.md 8KB interval_arith.md 4KB usability.md 246B MANIFEST.MF 66B MANIFEST.MF 64B MANIFEST.MF 59B MANIFEST.MF 59B
VSCode-PVS-NOSA.pdf 111KB
vscode-pvs-user-interface-annotated.png 831KB nasalib-monitors-stack-limit-error.png 551KB vscode-pvs-screenshot.png 542KB共 425 条
- 1
- 2
- 3
- 4
- 5
资源评论
