Georgify
UWaterloo SE212 - Sublime plugin for George to test program correctness
Details
Installs
- Total 49
- Win 19
- Mac 21
- Linux 9
Oct 3 | Oct 2 | Oct 1 | Sep 30 | Sep 29 | Sep 28 | Sep 27 | Sep 26 | Sep 25 | Sep 24 | Sep 23 | Sep 22 | Sep 21 | Sep 20 | Sep 19 | Sep 18 | Sep 17 | Sep 16 | Sep 15 | Sep 14 | 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 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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