From 06e98f26cd97fb962a81bd18026f21cf5605b25e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Schro=CC=88er?= Date: Sun, 19 May 2024 22:18:29 +0200 Subject: [PATCH] Caesar 2.0 --- Cargo.lock | 2 +- Cargo.toml | 2 +- vscode-ext/package.json | 3 +-- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index b515f86f..b3a06f44 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -199,7 +199,7 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" [[package]] name = "caesar" -version = "1.0.0" +version = "2.0.0" dependencies = [ "ariadne", "atty", diff --git a/Cargo.toml b/Cargo.toml index 0c974678..218bfc13 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,7 +7,7 @@ members = [ [package] name = "caesar" -version = "1.0.0" +version = "2.0.0" authors = ["Philipp Schroer "] edition = "2018" build = "build.rs" # LALRPOP preprocessing diff --git a/vscode-ext/package.json b/vscode-ext/package.json index 23eab072..ba80e647 100644 --- a/vscode-ext/package.json +++ b/vscode-ext/package.json @@ -3,8 +3,7 @@ "displayName": "Caesar Verifier", "description": "The quantitative deductive verifier Caesar for VSCode", "publisher": "rwth-moves", - "version": "1.0.0", - "preview": true, + "version": "2.0.0", "repository": { "type": "git", "url": "https://github.com/moves-rwth/caesar.git",