diff --git a/CHANGES b/CHANGES index 7fc90be1b8..cf75b41184 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,12 @@ +=============================================================================== +Changes between toolset releases 202206.0 and 202206.1: +=============================================================================== + +This release contains two bug fixes: + * Write counterexample's structured output trace on a single line. + * Fixed that hidden actions (the --tau option) were not properly recognized in + ltsconvert. + =============================================================================== Changes between toolset releases 202106.0 and 202206.0: =============================================================================== diff --git a/build/cmake/MCRL2Version.cmake b/build/cmake/MCRL2Version.cmake index c4a3831950..059e16d181 100644 --- a/build/cmake/MCRL2Version.cmake +++ b/build/cmake/MCRL2Version.cmake @@ -24,7 +24,7 @@ # not be generated from a clean Git clone. # # Package maintainers may set the variable below to issue a new release. -set(MCRL2_MAJOR_VERSION "202206.0") +set(MCRL2_MAJOR_VERSION "202206.1") string(SUBSTRING ${MCRL2_MAJOR_VERSION} 0 4 MCRL2_COPYRIGHT_YEAR) option(MCRL2_PACKAGE_RELEASE "Include release version information. This discards Git commit information and only uses the MCRL2_MAJOR_VERSION CMake variable." FALSE) diff --git a/build/make_release/make_release b/build/make_release/make_release index a2f8904bae..cde532e368 100755 --- a/build/make_release/make_release +++ b/build/make_release/make_release @@ -31,7 +31,7 @@ # every failed upload attempt the version number needs to be updated. MCRL2_RELEASE_BRANCH="release-202206" -MCRL2_VERSION="202206.0" +MCRL2_VERSION="202206.1" UBUNTU_VERSION="1ubuntu1ppa1" DEBEMAIL="m.laveaux@tue.nl" DEBFULLNAME="Maurice Laveaux"