release: Release v1.6.3

ProVerif · Mar 13, 2024 · 1a0a4c4 · 1a0a4c4
1 parent 5d0af6d
commit 1a0a4c4
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## v1.6.3
+
+Fix crashes when file has grammar errors.
+
+
 ## v1.6.2
 
 Add `in` to `pterm` in TextMate grammar and improve word detection.

diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
@@ -80,7 +80,7 @@ Go to definition:
 - [x] Implement grammar, symbol table, over libraries 
 - [x] Add go to definition functionality; see https://tomassetti.me/integrating-code-completion-in-visual-studio-code/
 - [x] Invalidate cache of consumers when library stored
-- [ ] Support additional ways of declaring variables (e.g. in REDUCTION lib)
+- [x] Support additional ways of declaring variables (e.g. in REDUCTION lib)
 
 Support writing ProVerif:
 - [x] Configure language

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.6.2",
+	"version": "1.6.3",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"

diff --git a/server/package-lock.json b/server/package-lock.json
diff --git a/server/package.json b/server/package.json
@@ -2,7 +2,7 @@
 	"name": "vscode-proverif-server",
 	"description": "Language support for the ProVerif language - server",
 	"author": "ProVerif",
-	"version": "1.6.1",
+	"version": "1.6.3",
 	"license": "MIT",
 	"engines": {
 		"node": "*"