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

Commit

Permalink
Updated to 1.3.9
Browse files Browse the repository at this point in the history
  • Loading branch information
akashlal committed Aug 16, 2018
1 parent 26dca78 commit cdcdb92
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion Build/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.3.8</VersionPrefix>
<VersionPrefix>1.3.9</VersionPrefix>
<VersionSuffix></VersionSuffix>
</PropertyGroup>
</Project>
4 changes: 2 additions & 2 deletions Scripts/NuGet/PSharp.nuspec
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,13 @@
<package >
<metadata>
<id>Microsoft.PSharp</id>
<version>1.3.8</version>
<version>1.3.9</version>
<authors>Microsoft</authors>
<licenseUrl>https://github.com/p-org/PSharp/blob/master/LICENSE.txt</licenseUrl>
<projectUrl>https://github.com/p-org/PSharp</projectUrl>
<requireLicenseAcceptance>false</requireLicenseAcceptance>
<description>The P# language, runtime and testing infrastructure.</description>
<releaseNotes>This release contains the 1.3.8 version of the P# language, runtime and testing infrastructure.</releaseNotes>
<releaseNotes>This release contains the 1.3.9 version of the P# language, runtime and testing infrastructure.</releaseNotes>
<copyright>© Microsoft Corporation. All rights reserved.</copyright>
<tags>asynchrony testing .NET programming actors state-machines</tags>
</metadata>
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.3.7.8")]
[assembly: AssemblyFileVersion("1.3.8.0")]
[assembly: AssemblyVersion("1.3.7.9")]
[assembly: AssemblyFileVersion("1.3.9.0")]

0 comments on commit cdcdb92

Please sign in to comment.