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 8 years ago
Last Seen 3 hours ago
First Seen 8 years ago

Installs

Total 78
Win 34
Mac 33
Linux 11

	May 31	May 30	May 29	May 28	May 27	May 26	May 25	May 24	May 23	May 22	May 21	May 20	May 19	May 18	May 17	May 16	May 15	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
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	1	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)

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