ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Georgify

by shividhar ST2/ST3

UWaterloo SE212 - Sublime plugin for George to test program correctness

Details

Installs

  • Total 7
  • Win 2
  • OS X 5
  • Linux 0
Oct 20 Oct 19 Oct 18 Oct 17 Oct 16 Oct 15 Oct 14 Oct 13 Oct 12 Oct 11 Oct 10 Oct 9 Oct 8 Oct 7 Oct 6 Oct 5 Oct 4 Oct 3 Oct 2 Oct 1 Sep 30 Sep 29 Sep 28 Sep 27 Sep 26 Sep 25 Sep 24 Sep 23 Sep 22 Sep 21 Sep 20 Sep 19 Sep 18 Sep 17 Sep 16 Sep 15 Sep 14 Sep 13 Sep 12 Sep 11 Sep 10 Sep 9 Sep 8 Sep 7 Sep 6
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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
OS X 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 3 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

Readme

Source
raw.​githubusercontent.​com

Georgify - SE212

Sublime Text plugin to test proof correctness for the George language used in SE 212.

Screenshot

Usage

  • Hot Keys
    • cmd+ctrl+G (Mac) to test your proof
    • windows+ctrl+G (Windows) to test your proof
  • Use quick access menu. Find Georgify

Installation (Recommended)

Installation (Manual)

  • Open packages dir with Sublime Text -> Preferences -> Browse Packages...
  • Download Georgify ZIP by clicking green button on package's root page
    • Save into Sublime's Packages folder
  • Unzip file and restart Sublime

Pipeline

  • [x] Add to quick access menu
  • [x] Add syntax highlighting

Disclaimer

  • All the code in the current view is sent to a remote web end-point to be verified

Shout-outs

Support for more editors (SE loves all editors equally :heart:)