From ab9cbd3f0a61ce10670471a842299309dfe5d904 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Schro=CC=88er?= Date: Wed, 5 Jun 2024 11:56:04 +0200 Subject: [PATCH] version 2.0.7 --- Cargo.lock | 2 +- Cargo.toml | 2 +- vscode-ext/package.json | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 2fbd3245..70638b99 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -199,7 +199,7 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" [[package]] name = "caesar" -version = "2.0.6" +version = "2.0.7" dependencies = [ "ariadne", "atty", diff --git a/Cargo.toml b/Cargo.toml index af602311..157b68d8 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,7 +7,7 @@ members = [ [package] name = "caesar" -version = "2.0.6" +version = "2.0.7" authors = ["Philipp Schroer "] edition = "2018" build = "build.rs" # LALRPOP preprocessing diff --git a/vscode-ext/package.json b/vscode-ext/package.json index 2872349d..27100458 100644 --- 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.6", + "version": "2.0.7", "repository": { "type": "git", "url": "https://github.com/moves-rwth/caesar.git",