From a8456b6168f8106a0e7180e64b652f640bfd71bd Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@microsoft.com>
Date: Thu, 2 May 2019 09:40:22 -0700
Subject: [PATCH] updated version to v1.6.0 (#431)

---
 Common/version.props                                      | 2 +-
 Samples/Framework/build.props                             | 2 +-
 Samples/Language/build.props                              | 2 +-
 Scripts/NuGet/PSharp.nuspec                               | 8 ++++----
 .../Visualization/TraceViewer/Properties/AssemblyInfo.cs  | 4 ++--
 5 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/Common/version.props b/Common/version.props
index edf68538f..0126e8ef3 100644
--- a/Common/version.props
+++ b/Common/version.props
@@ -1,7 +1,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix.  -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.5.1</VersionPrefix>
+    <VersionPrefix>1.6.0</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/Samples/Framework/build.props b/Samples/Framework/build.props
index 0a927c878..ea6b625a1 100644
--- a/Samples/Framework/build.props
+++ b/Samples/Framework/build.props
@@ -12,6 +12,6 @@
     <OutputPath>..\bin\</OutputPath>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.PSharp" Version="1.5.1" />
+    <PackageReference Include="Microsoft.PSharp" Version="1.6.0" />
   </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/Samples/Language/build.props b/Samples/Language/build.props
index 26c2c321c..944bf3157 100644
--- a/Samples/Language/build.props
+++ b/Samples/Language/build.props
@@ -10,6 +10,6 @@
     <OutputPath>..\bin\</OutputPath>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.PSharp" Version="1.5.1" />
+    <PackageReference Include="Microsoft.PSharp" Version="1.6.0" />
   </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/Scripts/NuGet/PSharp.nuspec b/Scripts/NuGet/PSharp.nuspec
index bfa39e429..34120e842 100644
--- a/Scripts/NuGet/PSharp.nuspec
+++ b/Scripts/NuGet/PSharp.nuspec
@@ -2,15 +2,15 @@
 <package >
   <metadata>
     <id>Microsoft.PSharp</id>
-    <version>1.5.1</version>
+    <version>1.6.0</version>
     <authors>Microsoft</authors>
     <projectUrl>https://github.com/p-org/PSharp</projectUrl>
     <license type="expression">MIT</license>
     <requireLicenseAcceptance>false</requireLicenseAcceptance>
-    <description>P# is a framework for building highly-reliable asynchronous reactive software.</description>
-    <releaseNotes>This release contains the 1.5.1 version of the P# framework.</releaseNotes>
+    <description>P# is a framework for rapid development of reliable asynchronous software.</description>
+    <releaseNotes>This release contains the 1.6.0 version of the P# framework.</releaseNotes>
     <copyright>© Microsoft Corporation. All rights reserved.</copyright>
-    <tags>asynchrony event-driven reactive state-machines reliability specifications testing .NET</tags>
+    <tags>asynchrony reliability specifications reactive state-machines testing</tags>
   </metadata>
   <files>
     <!-- .NET Standard 2.0 -->
diff --git a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
index 0cb3d3b6f..1c271a7ad 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.5.1.0")]
-[assembly: AssemblyFileVersion("1.5.1.0")]
+[assembly: AssemblyVersion("1.6.0.0")]
+[assembly: AssemblyFileVersion("1.6.0.0")]