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

Commit

Permalink
updated version to v1.6.0 (#431)
Browse files Browse the repository at this point in the history
  • Loading branch information
pdeligia authored May 2, 2019
1 parent 0d2613a commit a8456b6
Show file tree
Hide file tree
Showing 5 changed files with 9 additions and 9 deletions.
2 changes: 1 addition & 1 deletion Common/version.props
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.5.1</VersionPrefix>
<VersionPrefix>1.6.0</VersionPrefix>
<VersionSuffix></VersionSuffix>
</PropertyGroup>
</Project>
2 changes: 1 addition & 1 deletion Samples/Framework/build.props
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.5.1" />
<PackageReference Include="Microsoft.PSharp" Version="1.6.0" />
</ItemGroup>
</Project>
2 changes: 1 addition & 1 deletion Samples/Language/build.props
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.5.1" />
<PackageReference Include="Microsoft.PSharp" Version="1.6.0" />
</ItemGroup>
</Project>
8 changes: 4 additions & 4 deletions Scripts/NuGet/PSharp.nuspec
Original file line number Diff line number Diff line change
Expand Up @@ -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 -->
Expand Down
4 changes: 2 additions & 2 deletions Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
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.5.1.0")]
[assembly: AssemblyFileVersion("1.5.1.0")]
[assembly: AssemblyVersion("1.6.0.0")]
[assembly: AssemblyFileVersion("1.6.0.0")]

0 comments on commit a8456b6

Please sign in to comment.