Merge branch 'development' into plugins

nickbattle · Apr 29, 2024 · 0bec6af · 0bec6af
2 parents 3b16f02 + 407595a
commit 0bec6af
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/examples/lspplugin/src/main/resources/META-INF/plugin.json b/examples/lspplugin/src/main/resources/META-INF/plugin.json
@@ -0,0 +1,6 @@
+{
+    "name": "ExamplePlugin",
+    "description": "Example LSP plugin",
+    "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
+    "precision": "standard"
+}
diff --git a/quickcheck/src/main/resources/META-INF/plugin.json b/quickcheck/src/main/resources/META-INF/plugin.json
@@ -0,0 +1,6 @@
+{
+    "name": "quickcheck",
+    "description": "QuickCheck lightweight verification plugin",
+    "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
+    "precision": "standard"
+}