diff --git a/Common/version.props b/Common/version.props index f366621d5..fc6c43533 100644 --- a/Common/version.props +++ b/Common/version.props @@ -1,7 +1,7 @@ - 1.6.2 + 1.6.3 diff --git a/Samples/Framework/build.props b/Samples/Framework/build.props index 741536029..c63864b68 100644 --- a/Samples/Framework/build.props +++ b/Samples/Framework/build.props @@ -12,6 +12,6 @@ ..\bin\ - + \ No newline at end of file diff --git a/Samples/Language/build.props b/Samples/Language/build.props index 6ad5c59ae..3cc967282 100644 --- a/Samples/Language/build.props +++ b/Samples/Language/build.props @@ -10,6 +10,6 @@ ..\bin\ - + \ No newline at end of file diff --git a/Scripts/NuGet/PSharp.nuspec b/Scripts/NuGet/PSharp.nuspec index 1fd4d46af..f581c3fd1 100644 --- a/Scripts/NuGet/PSharp.nuspec +++ b/Scripts/NuGet/PSharp.nuspec @@ -2,13 +2,13 @@ Microsoft.PSharp - 1.6.2 + 1.6.3 Microsoft https://github.com/p-org/PSharp MIT false P# is a framework for rapid development of reliable asynchronous software. - This release contains the 1.6.2 version of the P# framework. + This release contains the 1.6.3 version of the P# framework. © Microsoft Corporation. All rights reserved. asynchrony reliability specifications reactive state-machines testing diff --git a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs index 0530b8627..29152d428 100644 --- a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs +++ b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs @@ -52,5 +52,5 @@ // You can specify all the values or you can default the Build and Revision Numbers // by using the '*' as shown below: // [assembly: AssemblyVersion("1.0.*")] -[assembly: AssemblyVersion("1.6.2.0")] -[assembly: AssemblyFileVersion("1.6.2.0")] +[assembly: AssemblyVersion("1.6.3.0")] +[assembly: AssemblyFileVersion("1.6.3.0")]