version 2.0.8

moves-rwth · Jun 25, 2024 · efe6614 · efe6614
1 parent 11bba54
commit efe6614
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -7,7 +7,7 @@ members = [
 
 [package]
 name = "caesar"
-version = "2.0.7"
+version = "2.0.8"
 authors = ["Philipp Schroer <phisch@cs.rwth-aachen.de>"]
 edition = "2018"
 build = "build.rs" # LALRPOP preprocessing

diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -3,7 +3,7 @@
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
   "publisher": "rwth-moves",
-  "version": "2.0.7",
+  "version": "2.0.8",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",