ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

Georgify

由 shividhar 全部

UWaterloo SE212 - Sublime插件用于测试George语言程序的正确性

标签 正确性证明, uwaterloo

详细信息

安装

  • 总数 69
  • Win 28
  • Mac 30
  • Linux 11
2023年8月6日 2023年8月5日 2023年8月4日 2023年8月3日 2023年8月2日 2023年8月1日 2023年7月31日 2023年7月30日 2023年7月29日 2023年7月28日 2023年7月27日 2023年7月26日 2023年7月25日 2023年7月24日 2023年7月23日 2023年7月22日 2023年7月21日 2023年7月20日 2023年7月19日 2023年7月18日 2023年7月17日 2023年7月16日 2023年7月15日 2023年7月14日 2023年7月13日 2023年7月12日 2023年7月11日 2023年7月10日 2023年7月9日 2023年7月8日 2023年7月7日 2023年7月6日 2023年7月5日 2023年7月4日 2023年7月3日 2023年7月2日 2023年7月1日 2023年6月30日 2023年6月29日 2023年6月28日 2023年6月27日 2023年6月26日 2023年6月25日 2023年6月24日 2023年6月23日
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

阅读说明

源代码
raw.​githubusercontent.​com

Georgify - SE212

Sublime Text插件，用于测试SE 212中使用的George语言的正确性。

Screenshot

使用方法

  • 快捷键
    • cmd+ctrl+G (Mac) 用于测试证明
    • windows+ctrl+G (Windows) 用于测试证明
  • 使用快速访问菜单。查找 Georgify

安装（推荐）

安装（手动）

  • 使用Sublime Text -> Preferences -> Browse Packages...打开包目录
  • 通过点击软件包主页上的绿色按钮下载Georgify ZIP
    • 保存到Sublime的包文件夹
  • 解压文件并重启Sublime

管道

  • [x] 添加到快速访问菜单
  • [x] 添加语法高亮

免责声明

  • 当前视图中的所有代码将被发送到远程Web端点进行验证

鸣谢

支持更多编辑器（SE平等地喜爱所有编辑器 :heart:）