Merge pull request #23 from FahrJo/dev

prepare update
FahrJo · Jul 27, 2024 · 99f32c3 · 99f32c3
2 parents 46ba41b + af81189
commit 99f32c3
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,13 +7,19 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.2.3] - 2024-07-27
+
+- add ability to stop ongoing verification
+- bugfixes
+- dependency updates
+
 ## [0.2.2] - 2023-11-02
 
-- Add support for highlighting assertions where context from Ultimate is missing
+- add support for highlighting assertions where context from Ultimate is missing
 
 ## [0.2.0] - 2023-06-03
 
-- Change to new REST-API of Ultimate
+- change to new REST-API of Ultimate
 
 ## [0.1.2] - 2023-04-18
 
@@ -28,4 +34,4 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [0.1.0] - 2023-04-04
 
-- Initial release
+- initial release
diff --git a/README.md b/README.md
@@ -35,6 +35,10 @@ This extension contributes the following settings:
 
 ## Release Notes
 
+### 0.2.3
+
+Add ability to stop ongoing verification, bugfixes and dependency updates
+
 ### 0.2.2
 
 Add support for highlighting assertions where context from Ultimate is missing

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/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.2.2",
+    "version": "0.2.3",
     "publisher": "FahrJo",
     "contributors": [
         {