Merge pull request #10 from FahrJo/dev

release v0.1.1

CHANGELOG.md

@@ -7,6 +7,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.1.1] - 2023-04-06
+
+- add icon
+- compatibility for *.epf files
+
 ## [0.1.0] - 2023-04-04
 
 - Initial release

README.md

@@ -28,13 +28,17 @@ This extension contributes the following settings:
 
 * Make sure the right Java version us used as default version if running Ultimate locally.
 * Windows version only working properly by using the REST API mode since Ultimate 2.3.0 was not working on my Windows test machine properly.
-* The result representation (Code highlighting, log output etc.) so far looks differently for REST API and stdout mode. This is due to the output of Ultimate in the two different modes.
+* The result representation (Code highlighting, log output etc.) so far looks differently for `REST API` and `stdout` mode. This is due to the output of Ultimate in the two different modes.
 * So far there is no Dockerfile/Image available to host the REST API backend locally in a container.
 
 ## Release Notes
 
 Users appreciate release notes as you update your extension.
 
+### 0.1.1
+
+Add icon and compatibility for *.epf files.
+
 ### 0.1.0
 
 Initial release
@@ -49,3 +53,7 @@ Added features X, Y, and Z.
 
 ---
 -->
+
+### Acknowledgements
+
+The icon is used from the original Ultimate project [here](https://github.com/ultimate-pa/ultimate).

package.json

@@ -2,14 +2,15 @@
     "name": "ultimate-automizer",
     "displayName": "Ultimate Automizer",
     "description": "This extension runs a formal verification on the current active C file.",
-    "version": "0.1.0",
+    "version": "0.1.1",
     "publisher": "FahrJo",
     "contributors": [
         {
             "name": "Johannes Fahr",
             "email": "[email protected]"
         }
     ],
+    "icon": "./images/ultimate_logo.png",
     "repository": {
         "type": "git",
         "url": "https://github.com/FahrJo/ultimate-automizer.git"
@@ -26,12 +27,6 @@
     ],
     "main": "./out/extension.js",
     "contributes": {
-        "commands": [
-            {
-                "command": "ultimate-automizer.startDockerContainer",
-                "title": "Start Ulimate Docker container"
-            }
-        ],
         "configuration": {
             "title": "Ultimate Automizer",
             "properties": {
@@ -61,7 +56,7 @@
                 "ultimate.settingsPath": {
                     "type": "string",
                     "default": "",
-                    "description": "Path to the settings (*.epl) of Ultimate is not accessed by the REST API."
+                    "description": "Path to the settings (*.epl/*.epf) of Ultimate is not accessed by the REST API."
                 },
                 "ultimate.toolchainPath": {
                     "type": "string",

src/extension.ts

@@ -27,16 +27,6 @@ export async function activate(context: vscode.ExtensionContext): Promise<vscode
             }
         })
     );
-
-    // Now provide the implementation of the command with registerCommand
-    // The commandId parameter must match the command field in package.json
-    let disposable = vscode.commands.registerCommand(
-        'ultimate-automizer.startDockerContainer',
-        ultimate.setup
-    );
-
-    context.subscriptions.push(disposable);
-
     return context;
 }
 

src/ultimateByLog.ts

@@ -33,7 +33,7 @@ export class UltimateByLog extends UltimateBase {
     }
 
     public setSettings(path: vscode.Uri) {
-        if (fs.existsSync(path.fsPath) && path.fsPath.match(/(.*\.epl$)/)) {
+        if (fs.existsSync(path.fsPath) && path.fsPath.match(/(.*\.epl$)|(.*\.epf$)/)) {
             this.settingsFilePath = path;
         } else {
             console.log(`Toolchain file ${path} does not exist`);