Georgify
UWaterloo SE212 - Sublime plugin for George to test program correctness
Details
Installs
- Total 78
- Win 34
- Mac 33
- Linux 11
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 | Mar 30 | Mar 29 | Mar 28 | Mar 27 | Mar 26 | Mar 25 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Windows | 0 | 0 | 0 | 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 | 0 | 0 | 0 | 1 |
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 | 1 | 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 | 0 |
Readme
- Source
- raw.githubusercontent.com
Georgify - SE212
Sublime Text plugin to test proof correctness for the George language used in SE 212.
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
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