Merge pull request #1 from lordqwerty/master

Move Repo to tamarin-prover org

.github/PULL_REQUEST_TEMPLATE.md

@@ -0,0 +1,14 @@
+### Have you:
+
+- [ ] Followed the guidelines in our [CONTRIBUTING](CONTRIBUTING.md) document?
+- [ ] Followed the Google Python [Style Guide](https://google.github.io/styleguide/pyguide.html) document?
+- [ ] Checked to ensure there aren't other open [Pull Requests](https://github.com/lordqwerty/TamarinAssist/pulls) for the same update/change?
+- [ ] Checked to ensure the plugin compiles and works as expected?
+
+### New Feature
+
+- [ ] Added a short description as to why you want this feature?
+
+### Description
+
+[Please provide a short description here]

.gitignore

@@ -0,0 +1,142 @@
+#### joe made this: http://goel.io/joe
+
+#####=== OSX ===#####
+.DS_Store
+.AppleDouble
+.LSOverride
+
+# Icon must end with two \r
+Icon
+
+# Thumbnails
+._*
+
+# Files that might appear in the root of a volume
+.DocumentRevisions-V100
+.fseventsd
+.Spotlight-V100
+.TemporaryItems
+.Trashes
+.VolumeIcon.icns
+
+# Directories potentially created on remote AFP share
+.AppleDB
+.AppleDesktop
+Network Trash Folder
+Temporary Items
+.apdisk
+
+#### joe made this: http://goel.io/joe
+
+#####=== Linux ===#####
+*~
+
+# KDE directory preferences
+.directory
+
+# Linux trash folder which might appear on any partition or disk
+.Trash-*
+
+#### joe made this: http://goel.io/joe
+
+#####=== Windows ===#####
+# Windows image file caches
+Thumbs.db
+ehthumbs.db
+
+# Folder config file
+Desktop.ini
+
+# Recycle Bin used on file shares
+$RECYCLE.BIN/
+
+# Windows Installer files
+*.cab
+*.msi
+*.msm
+*.msp
+
+# Windows shortcuts
+*.lnk
+
+#### joe made this: http://goel.io/joe
+
+#####=== SublimeText ===#####
+# cache files for sublime text
+*.tmlanguage.cache
+*.tmPreferences.cache
+*.stTheme.cache
+
+# workspace files are user-specific
+*.sublime-workspace
+
+# project files should be checked into the repository, unless a significant
+# proportion of contributors will probably not be using SublimeText
+# *.sublime-project
+
+# sftp configuration file
+sftp-config.json
+
+#### joe made this: http://goel.io/joe
+
+#####=== Python ===#####
+
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+env/
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+*.egg-info/
+.installed.cfg
+*.egg
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*,cover
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+target/
+

Commands/Default.sublime-commands

@@ -0,0 +1,14 @@
+[
+    {
+        "caption": "Tamarin: Prove",
+        "command": "tamarin_prove"
+    },
+    {
+        "caption": "Tamarin: Prove Interactive",
+        "command": "tamarin_prove_interactive"
+    },
+    {
+        "caption": "Tamarin: Typecheck",
+        "command": "tamarin_check"
+    }
+]

DEVELOPMENT_NOTES.md

@@ -0,0 +1,23 @@
+# Development Instructions
+
+These notes go about describing how to setup and develop TamarinAssist locally.
+
+## Manual
+
+For Linux / OS X / Windows this process can be followed. We assume you have
+the `git` tool installed.
+
+1. Change Directory to Sublime Text packages directory:
+    + Mac OS X: `cd ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/`
+    + Linux: `~/.Sublime\ Text\ 3/Packages/`
+
+2. Pull directory into Packages folder.
+    + SSH: `git pull [email protected]:lordqwerty/TamarinAssist.git`
+    + HTTPS: `https://github.com/lordqwerty/TamarinAssist.git`
+
+3. Open Sublime and bottom right syntaxes Tamarin should be in the list.
+
+Please check back to see what changes have been made so you can perform a
+`git pull`.
+
+*Please note: Windows will be able to perform syntax highlighting and autocompletion but not built in functions. This is because the Tamarin Prover is not supported under Windows.*

Keymaps/Default (Linux).sublime-keymap

@@ -0,0 +1,12 @@
+[
+    {
+        "keys": ["alt+shift+p"],
+        "command": "tamarin_prove",
+        "context": [{ "key": "selector", "operator": "equal", "operand": "source.spthy" }]
+    },
+    {
+        "keys": ["alt+shift+t"],
+        "command": "tamarin_check",
+        "context": [{ "key": "selector", "operator": "equal", "operand": "source.spthy" }]
+    }
+]

Keymaps/Default (OSX).sublime-keymap

@@ -0,0 +1,12 @@
+[
+    {
+        "keys": ["alt+shift+p"],
+        "command": "tamarin_prove",
+        "context": [{ "key": "selector", "operator": "equal", "operand": "source.spthy" }]
+    },
+    {
+        "keys": ["alt+shift+t"],
+        "command": "tamarin_check",
+        "context": [{ "key": "selector", "operator": "equal", "operand": "source.spthy" }]
+    }
+]

LICENSE

@@ -618,57 +618,4 @@ an absolute waiver of all civil liability in connection with the
 Program, unless a warranty or assumption of liability accompanies a
 copy of the Program in return for a fee.
 
-                     END OF TERMS AND CONDITIONS
-
-            How to Apply These Terms to Your New Programs
-
-  If you develop a new program, and you want it to be of the greatest
-possible use to the public, the best way to achieve this is to make it
-free software which everyone can redistribute and change under these terms.
-
-  To do so, attach the following notices to the program.  It is safest
-to attach them to the start of each source file to most effectively
-state the exclusion of warranty; and each file should have at least
-the "copyright" line and a pointer to where the full notice is found.
-
-    <one line to give the program's name and a brief idea of what it does.>
-    Copyright (C) <year>  <name of author>
-
-    This program is free software: you can redistribute it and/or modify
-    it under the terms of the GNU General Public License as published by
-    the Free Software Foundation, either version 3 of the License, or
-    (at your option) any later version.
-
-    This program is distributed in the hope that it will be useful,
-    but WITHOUT ANY WARRANTY; without even the implied warranty of
-    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-    GNU General Public License for more details.
-
-    You should have received a copy of the GNU General Public License
-    along with this program.  If not, see <http://www.gnu.org/licenses/>.
-
-Also add information on how to contact you by electronic and paper mail.
-
-  If the program does terminal interaction, make it output a short
-notice like this when it starts in an interactive mode:
-
-    <program>  Copyright (C) <year>  <name of author>
-    This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
-    This is free software, and you are welcome to redistribute it
-    under certain conditions; type `show c' for details.
-
-The hypothetical commands `show w' and `show c' should show the appropriate
-parts of the General Public License.  Of course, your program's commands
-might be different; for a GUI interface, you would use an "about box".
-
-  You should also get your employer (if you work as a programmer) or school,
-if any, to sign a "copyright disclaimer" for the program, if necessary.
-For more information on this, and how to apply and follow the GNU GPL, see
-<http://www.gnu.org/licenses/>.
-
-  The GNU General Public License does not permit incorporating your program
-into proprietary programs.  If your program is a subroutine library, you
-may consider it more useful to permit linking proprietary applications with
-the library.  If this is what you want to do, use the GNU Lesser General
-Public License instead of this License.  But first, please read
-<http://www.gnu.org/philosophy/why-not-lgpl.html>.
+                     END OF TERMS AND CONDITIONS

Main.sublime-menu

@@ -0,0 +1,38 @@
+[
+    {
+        "caption": "Preferences",
+        "mnemonic": "n",
+        "id": "preferences",
+        "children":
+        [
+            {
+                "caption": "Package Settings",
+                "mnemonic": "P",
+                "id": "package-settings",
+                "children":
+                [
+                    {
+                        "caption": "TamarinAssist",
+                        "children":
+                        [
+                            {
+                                "command": "open_file", "args":
+                                {
+                                    "file": "${packages}/TamarinAssist/Tamarin.sublime-settings"
+                                },
+                                "caption": "Settings – Default"
+                            },
+                            {
+                                "command": "open_file", "args":
+                                {
+                                    "file": "${packages}/User/TamarinAssist.sublime-settings"
+                                },
+                                "caption": "Settings – User"
+                            },
+                        ]
+                    }
+                ]
+            }
+        ]
+    }
+]

Preferences/Comments.tmPreferences

@@ -0,0 +1,36 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+<dict>
+    <key>name</key>
+    <string>Comments</string>
+    <key>scope</key>
+    <string>source.spthy</string>
+    <key>settings</key>
+    <dict>
+        <key>shellVariables</key>
+        <array>
+            <dict>
+                <key>name</key>
+                <string>TM_COMMENT_START_2</string>
+                <key>value</key>
+                <string>/*</string>
+            </dict>
+            <dict>
+                <key>name</key>
+                <string>TM_COMMENT_END_2</string>
+                <key>value</key>
+                <string>*/</string>
+            </dict>
+            <dict>
+                <key>name</key>
+                <string>TM_COMMENT_START</string>
+                <key>value</key>
+                <string>// </string>
+            </dict>
+        </array>
+    </dict>
+    <key>uuid</key>
+    <string>069E1EF8-6952-45F2-9F04-8D1872ACC826</string>
+</dict>
+</plist>