Bump version from 0.0.4 to 0.0.5

goblint · Jun 27, 2024 · fff58cc · fff58cc
1 parent f93eb24
commit fff58cc
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 7 deletions.
diff --git a/Readme.md b/Readme.md
@@ -9,7 +9,7 @@ The Integration of the static analyzer [Goblint](https://github.com/goblint/anal
 
 1. Install [Goblint](https://github.com/goblint/analyzer#installing).
 2. Download [GobPie plugin](https://nightly.link/goblint/GobPie/workflows/build/master/gobpie-plugin.zip) and unzip the archive.
-3. Install the extension into VSCode with `code --install-extension gobpie-0.0.4.vsix`.
+3. Install the extension into VSCode with `code --install-extension gobpie-0.0.5.vsix`.
 
 When installing goblint locally (as recommended), **make sure that GobPie can find the correct version of Goblint**.
 This can be done in two ways:

diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
     <modelVersion>4.0.0</modelVersion>
     <groupId>goblint</groupId>
     <artifactId>gobpie</artifactId>
-    <version>0.0.4-SNAPSHOT</version>
+    <version>0.0.5-SNAPSHOT</version>
     <dependencies>
 
         <!-- https://mvnrepository.com/artifact/ch.qos.logback/logback-classic -->

diff --git a/vscode/installGobPie.sh b/vscode/installGobPie.sh
@@ -1,4 +1,4 @@
 mvn clean -f "../../GobPie/pom.xml"
 mvn install -f "../../GobPie/pom.xml"
 echo y | vsce package
-code --install-extension gobpie-0.0.4.vsix
+code --install-extension gobpie-0.0.5.vsix
diff --git a/vscode/install_and_test.sh b/vscode/install_and_test.sh
@@ -1,5 +1,5 @@
 # Load environment variables from .env
 export $(grep -v '^#' .env | xargs)
 
-code --install-extension gobpie-0.0.4.vsix
+code --install-extension gobpie-0.0.5.vsix
 code $GOBPIE_TEST_PROJECT
diff --git a/vscode/package.json b/vscode/package.json
@@ -4,7 +4,7 @@
   "description": "The interactive Goblint analyzer extension",
   "author": "Karoliine Holter",
   "license": "MIT",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "repository": {
     "type": "git",
     "url": "https://github.com/goblint/GobPie.git"
@@ -95,7 +95,7 @@
     ]
   },
   "scripts": {
-    "vscode:prepublish": "shx cp ../target/gobpie-0.0.4-SNAPSHOT.jar gobpie-0.0.4-SNAPSHOT.jar && npm run package",
+    "vscode:prepublish": "shx cp ../target/gobpie-0.0.5-SNAPSHOT.jar gobpie-0.0.5-SNAPSHOT.jar && npm run package",
     "webpack": "webpack --mode development",
     "webpack-dev": "webpack --mode development --watch",
     "package": "webpack --mode production --devtool hidden-source-map",

diff --git a/vscode/src/extension.ts b/vscode/src/extension.ts
@@ -32,7 +32,7 @@ export function activate(context: ExtensionContext) {
     const adbSocketPath = `${os.tmpdir()}/gobpie_adb_${crypto.randomBytes(6).toString('base64url')}.sock`
 
     const script = 'java';
-    const args = ['-jar', context.asAbsolutePath('gobpie-0.0.4-SNAPSHOT.jar'), adbSocketPath];
+    const args = ['-jar', context.asAbsolutePath('gobpie-0.0.5-SNAPSHOT.jar'), adbSocketPath];
 
     // Use this for communicating on stdio 
     let serverOptions: ServerOptions = {