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 74
  • Win 32
  • Mac 31
  • Linux 11
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 Nov 11 Nov 10 Nov 9 Nov 8 Nov 7 Nov 6 Nov 5 Nov 4 Nov 3 Nov 2 Nov 1 Oct 31 Oct 30 Oct 29 Oct 28 Oct 27 Oct 26 Oct 25 Oct 24 Oct 23 Oct 22 Oct 21 Oct 20
Windows 0 0 0 0 0 1 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
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:)