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 correctness proofs, uwaterloo

Details

Installs

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