Commit8517d39

authored

updated to v1.6.3 (#436)

1 parent1b70405 commit8517d39Copy full SHA for 8517d39

File tree

-7

lines changed

-7

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`<!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix.-->`
`2`	`2`	`<Project>`
`3`	`3`	`<PropertyGroup>`
`4`		`- <VersionPrefix>1.6.2</VersionPrefix>`
	`4`	`+ <VersionPrefix>1.6.3</VersionPrefix>`
`5`	`5`	`<VersionSuffix></VersionSuffix>`
`6`	`6`	`</PropertyGroup>`
`7`	`7`	`</Project>`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,6 @@`
`12`	`12`	`<OutputPath>..\bin\</OutputPath>`
`13`	`13`	`</PropertyGroup>`
`14`	`14`	`<ItemGroup>`
`15`		`- <PackageReferenceInclude="Microsoft.PSharp"Version="1.6.2" />`
	`15`	`+ <PackageReferenceInclude="Microsoft.PSharp"Version="1.6.3" />`
`16`	`16`	`</ItemGroup>`
`17`	`17`	`</Project>`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,6 @@`
`10`	`10`	`<OutputPath>..\bin\</OutputPath>`
`11`	`11`	`</PropertyGroup>`
`12`	`12`	`<ItemGroup>`
`13`		`- <PackageReferenceInclude="Microsoft.PSharp"Version="1.6.2" />`
	`13`	`+ <PackageReferenceInclude="Microsoft.PSharp"Version="1.6.3" />`
`14`	`14`	`</ItemGroup>`
`15`	`15`	`</Project>`

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -2,13 +2,13 @@`
`2`	`2`	`<package >`
`3`	`3`	`<metadata>`
`4`	`4`	`<id>Microsoft.PSharp</id>`
`5`		`- <version>1.6.2</version>`
	`5`	`+ <version>1.6.3</version>`
`6`	`6`	`<authors>Microsoft</authors>`
`7`	`7`	`<projectUrl>https://github.com/p-org/PSharp</projectUrl>`
`8`	`8`	`<licensetype="expression">MIT</license>`
`9`	`9`	`<requireLicenseAcceptance>false</requireLicenseAcceptance>`
`10`	`10`	`<description>P# is a framework for rapid development of reliable asynchronous software.</description>`
`11`		`- <releaseNotes>This release contains the 1.6.2 version of the P# framework.</releaseNotes>`
	`11`	`+ <releaseNotes>This release contains the 1.6.3 version of the P# framework.</releaseNotes>`
`12`	`12`	`<copyright>© Microsoft Corporation. All rights reserved.</copyright>`
`13`	`13`	`<tags>asynchrony reliability specifications reactive state-machines testing</tags>`
`14`	`14`	`</metadata>`

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -52,5 +52,5 @@`
`52`	`52`	`// You can specify all the values or you can default the Build and Revision Numbers`
`53`	`53`	`// by using the '*' as shown below:`
`54`	`54`	`// [assembly: AssemblyVersion("1.0.*")]`
`55`		`-[assembly:AssemblyVersion("1.6.2.0")]`
`56`		`-[assembly:AssemblyFileVersion("1.6.2.0")]`
	`55`	`+[assembly:AssemblyVersion("1.6.3.0")]`
	`56`	`+[assembly:AssemblyFileVersion("1.6.3.0")]`

Comments

(0)