Add support for Promela

.gitmodules

@@ -980,6 +980,9 @@
 [submodule "vendor/grammars/sublime-pony"]
 	path = vendor/grammars/sublime-pony
 	url = https://github.com/CausalityLtd/sublime-pony
+[submodule "vendor/grammars/sublime-promela-spin"]
+	path = vendor/grammars/sublime-promela-spin
+	url = https://github.com/corbanmailloux/sublime-promela-spin.git
 [submodule "vendor/grammars/sublime-q"]
 	path = vendor/grammars/sublime-q
 	url = https://github.com/komsit37/sublime-q

grammars.yml

@@ -864,6 +864,8 @@ vendor/grammars/sublime-opal:
 - source.opalsysdefs
 vendor/grammars/sublime-pony:
 - source.pony
+vendor/grammars/sublime-promela-spin:
+- source.promela
 vendor/grammars/sublime-q:
 - source.q
 - source.q_output

lib/linguist/languages.yml

@@ -4633,6 +4633,14 @@ Prolog:
   tm_scope: source.prolog
   ace_mode: prolog
   language_id: 295
+Promela:
+  type: programming
+  color: "#de0000"
+  tm_scope: source.promela
+  ace_mode: text
+  extensions:
+  - ".pml"
+  language_id: 441858312
 Propeller Spin:
   type: programming
   color: "#7fa2a7"

samples/Promela/Session.pml

@@ -0,0 +1,44 @@
+#include "Supervisor.pml"
+/* Supervisor.pml includes Thread.pml (which includes Invariants.prp) */
+
+init
+{
+    byte i = 0;
+    assert_all(i, 0, 0);
+    sv_ctor(i);
+    i = 0;
+    assert_all(i, READY, CONTINUE);
+    printf("Init starts Supervisor...\n");
+    sv_start_sync();
+    do
+    ::  if
+        ::  get_state(0) == RUNNING ->
+                printf("Init pauses Supervisor...\n");
+                if
+                ::  true -> pause(0, true)
+                ::  true -> pause(0, false)
+                fi
+        ::  get_state(0) == PAUSED  ->
+                printf("Init resumes Supervisor...\n");
+                if
+                ::  true -> resume(0, true)
+                ::  true -> resume(0, false)
+                fi
+        ::  true -> skip
+        fi
+    ::  break
+    od
+    if
+    ::  printf("Init stops Supervisor...\n");
+        if
+        ::  true -> stop(0, true)
+        ::  true -> stop(0, false)
+        fi
+    ::  true -> skip
+    fi
+    wait_for_HALT_mask(0);
+    i = 0;
+    sv_dtor(i);
+    i = 0;
+    assert_all(i, 0, 0)
+}