Skip to content
This repository has been archived by the owner on Aug 26, 2022. It is now read-only.

updated to version 1.6.8 #453

Merged
merged 1 commit into from
Jul 30, 2019
Merged

updated to version 1.6.8 #453

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Common/version.props
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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>
2 changes: 1 addition & 1 deletion Samples/Framework/build.props
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
2 changes: 1 addition & 1 deletion Samples/Language/build.props
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
4 changes: 2 additions & 2 deletions Scripts/NuGet/PSharp.nuspec
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
4 changes: 2 additions & 2 deletions Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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")]