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

Georgify

by shividhar ALL

UWaterloo SE212 - Sublime plugin for George to test program correctness

Labels language syntax, correctness proofs, uwaterloo

Details

Installs

  • Total 83
  • Win 39
  • Mac 33
  • Linux 11
Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20 Dec 19 Dec 18 Dec 17 Dec 16 Dec 15 Dec 14 Dec 13 Dec 12 Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3 Dec 2 Dec 1 Nov 30 Nov 29 Nov 28 Nov 27 Nov 26 Nov 25 Nov 24 Nov 23 Nov 22 Nov 21 Nov 20 Nov 19 Nov 18 Nov 17 Nov 16 Nov 15 Nov 14 Nov 13 Nov 12
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 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
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:)