Skip to content

Commit

Permalink
increment release version
Browse files Browse the repository at this point in the history
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
  • Loading branch information
NikolajBjorner committed Jan 18, 2023
1 parent 9290de8 commit 59c41bd
Showing 5 changed files with 7 additions and 4 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.12.1.0 LANGUAGES CXX)
project(Z3 VERSION 4.12.2.0 LANGUAGES CXX)

################################################################################
# Project version
3 changes: 3 additions & 0 deletions RELEASE_NOTES.md
Original file line number Diff line number Diff line change
@@ -11,6 +11,9 @@ Version 4.next
- introduction of simple induction lemmas to handle a limited repertoire of induction proofs.


Version 4.12.2
==============

Version 4.12.1
==============
- change macos build to use explicit reference to Macos version 11. Hosted builds are migrating to macos-12 and it broke a user Issue #6539.
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, 12, 1, 0) # express a default build version or pick up ci build version
set_version(4, 12, 2, 0) # express a default build version or pick up ci build version

# Z3 Project definition
def init_project_def():
2 changes: 1 addition & 1 deletion scripts/nightly.yaml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
variables:
Major: '4'
Minor: '12'
Patch: '1'
Patch: '2'
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.12.1'
ReleaseVersion: '4.12.2'

stages:

0 comments on commit 59c41bd

Please sign in to comment.