Lustre 0.1.6

Lustre VSCode扩展为开发人员提供了强大的工具，支持Lustre语言的语法高亮和代码片段，帮助您更高效地进行实时系统的描述和验证工作。

安装指南：

您可以从以下两个渠道安装Lustre VSCode扩展：

• Open VSX Registry (VSCodium)
• VSCode扩展商店 (VSCode)

如果您需要开发版本，可以使用以下命令进行安装：

sudo apt install npm
npm install -g vsce
git clone https://github.com/MercierCorentin/vscode-lustre.git
cd vscode-lustre
vsce package

安装完成后，请按照以下步骤在Visual Studio Code中安装扩展：

• 打开Visual Studio Code，选择菜单中的“视图”->“扩展”以显示扩展面板。
• 点击扩展面板右上角的“...”，选择“从VSIX安装...”。
• 选择生成的.vsix文件进行安装。

关于Lustre：

Lustre是一种基于数据流模型的同步语言，专门用于实时系统的描述和验证。该扩展实现了Lustre Core的语法高亮和代码片段支持，详细信息请参考《Lustre V6参考手册》[1]。

[1] The Lustre V6 Reference Manual, Erwan Jahier, Pascal Raymond, Nicolas Halbwachs, http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/doc/lv6-ref-man.pdf

问题反馈：

如遇问题，您可以通过以下方式反馈：

• 在Github上创建问题报告
• 发送电子邮件至维护者：corentin.mercier(at)irsn.fr

代码片段支持：

Lustre VSCode扩展提供了以下代码片段，帮助您快速编写Lustre代码：

使用这些代码片段，您可以更快地编写Lustre代码，提升开发效率。