From 8997f8b1e0dfe7ca80192fea5305da54cddd6946 Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@microsoft.com>
Date: Mon, 29 Jul 2019 17:29:28 -0700
Subject: [PATCH] updated to version 1.6.8
---
Common/version.props | 2 +-
Samples/Framework/build.props | 2 +-
Samples/Language/build.props | 2 +-
Scripts/NuGet/PSharp.nuspec | 4 ++--
Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs | 4 ++--
5 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/Common/version.props b/Common/version.props
index e55b17a52..5fd052934 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.6.7</VersionPrefix>
+ <VersionPrefix>1.6.8</VersionPrefix>
<VersionSuffix></VersionSuffix>
</PropertyGroup>
</Project>
diff --git a/Samples/Framework/build.props b/Samples/Framework/build.props
index a6d4736ed..e447a5374 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.6.7" />
+ <PackageReference Include="Microsoft.PSharp" Version="1.6.8" />
</ItemGroup>
</Project>
\ No newline at end of file
diff --git a/Samples/Language/build.props b/Samples/Language/build.props
index 08e058172..5404fd3aa 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.6.7" />
+ <PackageReference Include="Microsoft.PSharp" Version="1.6.8" />
</ItemGroup>
</Project>
\ No newline at end of file
diff --git a/Scripts/NuGet/PSharp.nuspec b/Scripts/NuGet/PSharp.nuspec
index 85af4ad29..3605a3edb 100644
--- a/Scripts/NuGet/PSharp.nuspec
+++ b/Scripts/NuGet/PSharp.nuspec
@@ -2,13 +2,13 @@
<package >
<metadata>
<id>Microsoft.PSharp</id>
- <version>1.6.7</version>
+ <version>1.6.8</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 rapid development of reliable asynchronous software.</description>
- <releaseNotes>This release contains the 1.6.7 version of the P# framework.</releaseNotes>
+ <releaseNotes>This release contains the 1.6.8 version of the P# framework.</releaseNotes>
<copyright>© Microsoft Corporation. All rights reserved.</copyright>
<tags>asynchrony reliability specifications reactive state-machines testing</tags>
</metadata>
diff --git a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
index ba7a07c84..9d2f60a2d 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.7.0")]
-[assembly: AssemblyFileVersion("1.6.7.0")]
+[assembly: AssemblyVersion("1.6.8.0")]
+[assembly: AssemblyFileVersion("1.6.8.0")]