Georgify
UWaterloo SE212 - Sublime plugin for George to test program correctness
Details
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.
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