From 0f0ae951d15e277a026def3ab95ebcab67661ee5 Mon Sep 17 00:00:00 2001 From: Kedar Navare Date: Tue, 23 Jun 2026 16:27:14 +0530 Subject: [PATCH] Bump version to 3.0.0 after release --- CHANGELOG.md | 2 +- trlc/version.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b20ec48..cb08a5d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -24,7 +24,7 @@ generated in the following situations: ## Changelog -### 2.0.6-dev +### 3.0.0-dev * [TRLC, BAZEL] Removed the support for the CVC5 binary, and hence the `--use-cvc5-binary` option is no longer available. diff --git a/trlc/version.py b/trlc/version.py index 810a0bd..33d8712 100644 --- a/trlc/version.py +++ b/trlc/version.py @@ -18,8 +18,8 @@ # You should have received a copy of the GNU General Public License # along with TRLC. If not, see . -VERSION_TUPLE = (2, 0, 5) -VERSION_SUFFIX = "" +VERSION_TUPLE = (3, 0, 0) +VERSION_SUFFIX = "dev" TRLC_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \ ("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")