Merge pull request #7 from FahrJo/dev

final fixes for first release

CHANGELOG.md

@@ -7,4 +7,6 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
-- Initial release
+## [0.1.0] - 2023-04-04
+
+- Initial release

README.md

@@ -24,19 +24,22 @@ This extension contributes the following settings:
 * `ultimate.settingsPath`: Path to the settings (*.epl) of Ultimate is not accessed by the REST API.
 * `ultimate.toolchainPath`: Path to the toolchain (*.xml) of Ultimate is NOT accessed by the REST API.
 
-<!--## Known Issues
+## Known Issues
 
-Calling out known issues can help limit users opening duplicate issues against your extension.
+* 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.
+* 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.
 
-### 1.0.0
+### 0.1.0
 
-Initial release of ...
+Initial release
 
-### 1.0.1
+<!--### 1.0.1
 
 Fixed issue #.
 

package.json

@@ -2,7 +2,7 @@
     "name": "ultimate-automizer",
     "displayName": "Ultimate Automizer",
     "description": "This extension runs a formal verification on the current active C file.",
-    "version": "0.0.1",
+    "version": "0.1.0",
     "publisher": "FahrJo",
     "contributors": [
         {
@@ -74,7 +74,7 @@
     "scripts": {
         "vscode:prepublish": "npm run compile",
         "compile": "tsc -p ./",
-        "watch": "cp -rf ./src/test/fixtures ./out/test/ && tsc -watch -p ./",
+        "watch": "tsc -watch -p ./",
         "pretest": "npm run compile && npm run lint",
         "lint": "eslint src --ext ts",
         "format": "prettier --ignore-path .gitignore --write \"**/*.+(js|ts|json)\"",