墨菲 这是Murphi语言对VS代码的支持。 特征 语法高亮 片段 发行说明 新的功能 类型的语法突出显示。 通过将类型标识符显式指定为typename_t来触发。 函数调用的语法突出显示。 2.0.0 添加代码段支持。 1.1.0 添加更多突出显示功能。 1.0.0 Murphi的初始版本。