forgot

tamarin-prover · Jun 17, 2024 · 161ab11 · 161ab11
1 parent 0a69e97
commit 161ab11
Show file tree

Hide file tree

Showing 14 changed files with 1,311 additions and 1,751 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/.eslintrc.json b/.eslintrc.json
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
diff --git a/.gitignore b/.gitignore
@@ -14,4 +14,6 @@ out/
 
 run.sh
 
-.gitignore
+.gitignore
+
+*.antlr
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -11,10 +11,10 @@
 			"request": "launch",
 			"runtimeExecutable": "${execPath}",
 			"args": [
-				"--extensionDevelopmentPath=${workspaceFolder}"
+				"--extensionDevelopmentPath=${workspaceRoot}"
 			],
 			"outFiles": [
-				"${workspaceFolder}/out/**/*.js"
+				"${workspaceRoot}/out/**/*.js"
 			],
 			"preLaunchTask": "${defaultBuildTask}"
 		},

diff --git a/language-configuration.json b/language-configuration.json
@@ -20,7 +20,8 @@
         ["(", ")"],
         ["'", "'"],
         ["\"", "\""],
-        ["`", "`"]
+        ["`", "`"],
+        ["<", ">"]
     ],
     "folding": {
         "markers": {
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,4 +14,6 @@ out/ @@
     run.sh
-    .gitignore
+    .gitignore
+    *.antlr