From 2e4ddca5e873989f9f5c016b120f6d47b78768ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Schro=CC=88er?= Date: Tue, 4 Jun 2024 13:12:58 +0200 Subject: [PATCH] version 2.0.6 --- 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 155cb312..2fbd3245 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -199,7 +199,7 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" [[package]] name = "caesar" -version = "2.0.5" +version = "2.0.6" dependencies = [ "ariadne", "atty", diff --git a/Cargo.toml b/Cargo.toml index c4820b95..af602311 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,7 +7,7 @@ members = [ [package] name = "caesar" -version = "2.0.5" +version = "2.0.6" authors = ["Philipp Schroer "] edition = "2018" build = "build.rs" # LALRPOP preprocessing diff --git a/vscode-ext/package.json b/vscode-ext/package.json index 9eeb0f46..2872349d 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.5", + "version": "2.0.6", "repository": { "type": "git", "url": "https://github.com/moves-rwth/caesar.git",