Skip to content

Commit

Permalink
increment version per release notes
Browse files Browse the repository at this point in the history
incrementing minor version because the API has a new function.
This breaks log replay against old dlls and inclusion against z3++.h.
NikolajBjorner committed Oct 19, 2022
1 parent f6d5541 commit a90c4f6
Showing 4 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -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.11.3.0 LANGUAGES CXX)
project(Z3 VERSION 4.12.0.0 LANGUAGES CXX)

################################################################################
# Project version
2 changes: 1 addition & 1 deletion scripts/mk_project.py
Original file line number Diff line number Diff line change
@@ -8,7 +8,7 @@
from mk_util import *

def init_version():
set_version(4, 11, 3, 0) # express a default build version or pick up ci build version
set_version(4, 12, 0, 0) # express a default build version or pick up ci build version

# Z3 Project definition
def init_project_def():
4 changes: 2 additions & 2 deletions scripts/nightly.yaml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
variables:
Major: '4'
Minor: '11'
Patch: '3'
Minor: '12'
Patch: '0'
AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
NightlyVersion: $(AssemblyVersion)-$(Build.DefinitionName)

2 changes: 1 addition & 1 deletion scripts/release.yml
Original file line number Diff line number Diff line change
@@ -6,7 +6,7 @@
trigger: none

variables:
ReleaseVersion: '4.11.3'
ReleaseVersion: '4.12.0'

stages:

0 comments on commit a90c4f6

Please sign in to comment.