From 9d9414c1110bc65108202cdcc473c703d12b54f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Jul 2022 14:00:40 -0700
Subject: [PATCH] inc version number
---
CMakeLists.txt | 2 +-
package-lock.json | 27 +++++++++++++++++++++++++++
scripts/mk_project.py | 2 +-
scripts/nightly.yaml | 2 +-
scripts/release.yml | 2 +-
5 files changed, 31 insertions(+), 4 deletions(-)
create mode 100644 package-lock.json
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3da472158..a3d3bcfa0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -2,7 +2,7 @@
cmake_minimum_required(VERSION 3.4)
set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
-project(Z3 VERSION 4.9.1.0 LANGUAGES CXX)
+project(Z3 VERSION 4.9.2.0 LANGUAGES CXX)
################################################################################
# Project version
diff --git a/package-lock.json b/package-lock.json
new file mode 100644
index 000000000..4c22d5b85
--- /dev/null
+++ b/package-lock.json
@@ -0,0 +1,27 @@
+{
+ "requires": true,
+ "lockfileVersion": 1,
+ "dependencies": {
+ "async-mutex": {
+ "version": "0.3.2",
+ "resolved": "https://registry.npmjs.org/async-mutex/-/async-mutex-0.3.2.tgz",
+ "integrity": "sha512-HuTK7E7MT7jZEh1P9GtRW9+aTWiDWWi9InbZ5hjxrnRa39KS4BW04+xLBhYNS2aXhHUIKZSw3gj4Pn1pj+qGAA==",
+ "requires": {
+ "tslib": "^2.3.1"
+ }
+ },
+ "tslib": {
+ "version": "2.4.0",
+ "resolved": "https://registry.npmjs.org/tslib/-/tslib-2.4.0.tgz",
+ "integrity": "sha512-d6xOpEDfsi2CZVlPQzGeux8XMwLT9hssAsaPYExaQMuYskwb+x1x7J371tWlbBdWHroy99KnVB6qIkUbs5X3UQ=="
+ },
+ "z3-solver": {
+ "version": "4.9.0",
+ "resolved": "https://registry.npmjs.org/z3-solver/-/z3-solver-4.9.0.tgz",
+ "integrity": "sha512-clSV0uyHsfrO84pSbHxoqvmd5HgSG4CoSJG2f8U65hBVylbV6p/0svctQWee9W2fWo0IsxHYRjxz2Z85GT0LAA==",
+ "requires": {
+ "async-mutex": "^0.3.2"
+ }
+ }
+ }
+}
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index fb8894231..9f7a69b56 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -8,7 +8,7 @@
from mk_util import *
def init_version():
- set_version(4, 9, 1, 0)
+ set_version(4, 9, 2, 0)
# Z3 Project definition
def init_project_def():
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 69e8100c0..fd93d4236 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -2,7 +2,7 @@ variables:
Major: '4'
Minor: '9'
- Patch: '1'
+ Patch: '2'
NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)-$(Build.DefinitionName)
stages:
diff --git a/scripts/release.yml b/scripts/release.yml
index 71daee2c8..419d4bc4b 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -6,7 +6,7 @@
trigger: none
variables:
- ReleaseVersion: '4.9.1'
+ ReleaseVersion: '4.9.2'
stages: