updated version to 1.3.0

Author: pdeligia

Build/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.2.0</VersionPrefix>
+    <VersionPrefix>1.3.0</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>

Scripts/NuGet/PSharp.nuspec

@@ -2,20 +2,20 @@
 <package >
   <metadata>
     <id>Microsoft.PSharp</id>
-    <version>1.2.2</version>
+    <version>1.3.0</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.2.2 version of the P# language, runtime and testing infrastructure.</releaseNotes>
+    <releaseNotes>This release contains the 1.3.0 version of the P# language, runtime and testing infrastructure.</releaseNotes>
     <copyright>Copyright © 2017 Microsoft Corporation</copyright>
     <tags>asynchrony testing .NET programming actors state-machines</tags>
   </metadata>
   <files>
-    <file src="..\..\Binaries\*.dll" target="lib\net46" />
-    <file src="..\..\Binaries\*.mdb" target="lib\net46" />
-    <file src="..\..\Binaries\*.xml" target="lib\net46" />
-    <file src="..\..\Binaries\*" target="tools" />
+    <file src="..\..\bin\net46\*.dll" target="lib\net46" />
+    <file src="..\..\bin\net46\*.mdb" target="lib\net46" />
+    <file src="..\..\bin\net46\*.xml" target="lib\net46" />
+    <file src="..\..\bin\net46\*" target="tools" />
   </files>
 </package>

Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs

@@ -4,7 +4,7 @@
 using System.Runtime.InteropServices;
 using System.Windows;
 
-// General Information about an assembly is controlled through the following 
+// General Information about an assembly is controlled through the following
 // set of attributes. Change these attribute values to modify the information
 // associated with an assembly.
 [assembly: AssemblyTitle("PSharpTraceViewer")]
@@ -16,15 +16,15 @@
 [assembly: AssemblyTrademark("")]
 [assembly: AssemblyCulture("")]
 
-// Setting ComVisible to false makes the types in this assembly not visible 
-// to COM components.  If you need to access a type in this assembly from 
+// Setting ComVisible to false makes the types in this assembly not visible
+// to COM components.  If you need to access a type in this assembly from
 // COM, set the ComVisible attribute to true on that type.
 [assembly: ComVisible(false)]
 
 // The following GUID is for the ID of the typelib if this project is exposed to COM
 [assembly: Guid("17dd1184-c1f7-41b6-8dfd-f159ce7d78cc")]
 
-//In order to begin building localizable applications, set 
+//In order to begin building localizable applications, set
 //<UICulture>CultureYouAreCodingWith</UICulture> in your .csproj file
 //inside a <PropertyGroup>.  For example, if you are using US english
 //in your source files, set the <UICulture> to en-US.  Then uncomment
@@ -35,22 +35,22 @@
 
 [assembly: ThemeInfo(
     ResourceDictionaryLocation.None, //where theme specific resource dictionaries are located
-                                     //(used if a resource is not found in the page, 
+                                     //(used if a resource is not found in the page,
                                      // or application resource dictionaries)
     ResourceDictionaryLocation.SourceAssembly //where the generic resource dictionary is located
-                                              //(used if a resource is not found in the page, 
+                                              //(used if a resource is not found in the page,
                                               // app, or any theme specific resource dictionaries)
 )]
 
 // Version information for an assembly consists of the following four values:
 //
 //      Major Version
-//      Minor Version 
+//      Minor Version
 //      Build Number
 //      Revision
 //
-// You can specify all the values or you can default the Build and Revision Numbers 
+// 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.2.2.0")]
-[assembly: AssemblyFileVersion("1.2.2.0")]
+[assembly: AssemblyVersion("1.3.0.0")]
+[assembly: AssemblyFileVersion("1.3.0.0")]