release: Publish new version

ProVerif · Nov 17, 2024 · 283b87d · 283b87d
1 parent b6552c6
commit 283b87d
Show file tree

Hide file tree

Showing 7 changed files with 16 additions and 9 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,10 +1,17 @@
 # Changelog
 
+## v1.7.1
+
+Use `-parse-only` if available to improve performance.  
+Send notification to user if proverif bin is not found.
+
+
 ## v1.7.0
 
 Add autocomplete for set statements.  
 Add new `pv.log` language, which colors ProVerif output.
 
+
 ## v1.6.5
 
 Update dependencies.

diff --git a/client/package-lock.json b/client/package-lock.json
diff --git a/client/package.json b/client/package.json
@@ -3,7 +3,7 @@
 	"description": "Language support for the ProVerif language - client",
 	"author": "ProVerif",
 	"license": "MIT",
-	"version": "1.6.5",
+	"version": "1.7.1",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"

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.7.0",
+	"version": "1.7.1",
 	"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.7.0",
+	"version": "1.7.1",
 	"license": "MIT",
 	"engines": {
 		"node": "*"