Georgify

by shividhar ALL

UWaterloo SE212 - Sublime plugin for George to test program correctness

Labels correctness proofs, uwaterloo

Details

Version 1.0.5
Homepage student.cs.uwaterloo.ca
Issues github.com
Modified 7 years ago
Last Seen 1 hour ago
First Seen 7 years ago

Installs

Total 70
Win 28
Mac 31
Linux 11

	Sep 13	Sep 12	Sep 11	Sep 10	Sep 9	Sep 8	Sep 7	Sep 6	Sep 5	Sep 4	Sep 3	Sep 2	Sep 1	Aug 31	Aug 30	Aug 29	Aug 28	Aug 27	Aug 26	Aug 25	Aug 24	Aug 23	Aug 22	Aug 21	Aug 20	Aug 19	Aug 18	Aug 17	Aug 16	Aug 15	Aug 14	Aug 13	Aug 12	Aug 11	Aug 10	Aug 9	Aug 8	Aug 7	Aug 6	Aug 5	Aug 4	Aug 3	Aug 2	Aug 1	Jul 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	0	0	0	0	0	2	0	1	1	1	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)

Use Sublime's Package Manager to install Georgify
- https://packagecontrol.io/installation

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

Thanks @sahiljain for the syntax highlighting

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

vim users check out @aidenbenner's vim-george
Atom users check out @ethan-hardy's george-atom