Georgify
UWaterloo SE212 - Sublime plugin for George to test program correctness
Details
Installs
- Total 64
- Win 28
- Mac 27
- Linux 9
Mar 29 | Mar 28 | Mar 27 | Mar 26 | Mar 25 | Mar 24 | Mar 23 | Mar 22 | Mar 21 | Mar 20 | Mar 19 | Mar 18 | Mar 17 | Mar 16 | Mar 15 | Mar 14 | Mar 13 | Mar 12 | Mar 11 | Mar 10 | Mar 9 | Mar 8 | Mar 7 | Mar 6 | Mar 5 | Mar 4 | Mar 3 | Mar 2 | Mar 1 | Feb 29 | Feb 28 | Feb 27 | Feb 26 | Feb 25 | Feb 24 | Feb 23 | Feb 22 | Feb 21 | Feb 20 | Feb 19 | Feb 18 | Feb 17 | Feb 16 | Feb 15 | Feb 14 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | 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.
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