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