文件名称：Dafny-VSCode:Dafny 2 for Visual Studio代码（旧版）
文件大小：15.46MB
文件格式：ZIP
更新时间：2024-06-14 09:50:27
visual-studio-code dafny TypeScript
Dafny 2 VSCode（旧版） :warning: 该插件针对Dafny 2，已弃用。 考虑切换到支持Dafny 3.0.0的。 该存储库包含支持Dafny for Visual Studio Code所必需的基础结构。 要将Dafny 2添加到VSCode，请转到。 掌握 开发 建筑学 基础结构由可以在目录中找到的Dafny语言服务器和可以在目录中找到的VS Code扩展组成。 这些组件使用相互通信。 贡献 我们欢迎所有的贡献！ 请创建请求请求，我们将在适当的时候发布新版本。 如何 设置 为这个插件做出贡献非常简单。 只需安装Visual Studio Code和npm。 只需克隆此存储库并切换到新文件夹。 在命令行上，执行以下脚本之一： Linux和macOS： scripts/dev-env.bash Windows： scripts\dev-env.bat 这些脚本安装服