__ext_smv
已收录下载：1条
-
NuSMVVSCode扩展为NuSMV用户提供了强大的编辑支持，旨在提升.smv文件的开发体验。以下是关于该扩展的详细介绍：版本更新：0.0.1Alpha版：这是NuSMVVSCode插件的首次发布，支持.smv文件类型，并提供语法高亮和保存时触发的语义支持功能。即将推出的版本：未来更新将包括运行配置功能，以及在文本更改时触发语义检查，而不是仅在保存时触发。技术细节：该扩展利用了基于微软语言18