updated version and readme (#408)

Author: pdeligia

Common/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.4.5</VersionPrefix>
+    <VersionPrefix>1.4.6</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>

README.md

@@ -4,13 +4,14 @@
 
 P#
 ===
-A framework for **building**, **analyzing**, **systematically testing** and **debugging** asynchronous reactive software. P# is used by engineers in [Azure](https://azure.microsoft.com/) to design, implement and thoroughly test distributed systems and services.
+A framework for **building** and **systematically testing** highly-reliable asynchronous reactive software. P# is used by several teams in [Azure](https://azure.microsoft.com/) to design, implement and thoroughly test production distributed systems and services.
 
 ## Features
 The P# framework provides:
-- Language extensions to C# for building **event-driven asynchronous** applications, writing **test harnesses**, and specifying **safety** and **liveness properties**.
-- A **systematic testing engine** that can capture and control all specified nondeterminism in the system, systematically explore the actual executable code to discover bugs, and report bug traces. A P# bug trace provides a global order of all communication events, and thus is easier to debug.
-- Support for **replaying** bug traces, and **debugging** them using the Visual Studio debugger.
+- An actor-based programming model for building **event-driven asynchronous** applications and services. The unit of concurrency in P# is an **asynchronous communicating state machine**, which is basically an actor that can create new machines, send and receive events, and transition to different states. Using P# machines, you can express your design and code at a higher level that is a natural fit for many cloud services.
+- An efficient, lightweight runtime that is build on top of the Task Parallel Library (TPL). This runtime can be used to deploy a P# program in production. The P# runtime is very flexible and can work with any communication and storage layer.
+- The capability to easily write **safety** and **liveness specifications** (similar to TLA+) programmatically in C#.
+- A **systematic testing engine** that can control the P# program schedule, as well as all declared sources of nondeterminism (e.g. failures and timeouts), and systematically explore the actual executable code to discover bugs (e.g. crashes or specification violations). If a bug is found, the P# testing engine will report a deterministic reproducible trace that can be replayed using the Visual Studio Debugger.
 
 ## Getting started
 Read the P# programming guide and then read about various features and topics [here](Docs/README.md).

Scripts/NuGet/PSharp.nuspec

@@ -2,15 +2,15 @@
 <package >
   <metadata>
     <id>Microsoft.PSharp</id>
-    <version>1.4.5</version>
+    <version>1.4.6</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>true</requireLicenseAcceptance>
     <description>The P# language, runtime and testing infrastructure.</description>
-    <releaseNotes>This release contains the 1.4.5 version of the P# language, runtime and testing infrastructure.</releaseNotes>
+    <releaseNotes>This release contains the 1.4.6 version of the P# framework.</releaseNotes>
     <copyright>© Microsoft Corporation. All rights reserved.</copyright>
-    <tags>asynchrony testing .NET programming actors state-machines</tags>
+    <tags>asynchrony event-driven state-machines reliability specifications testing .NET</tags>
   </metadata>
   <files>
     <!-- .NET Standard 2.0 -->

Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs

@@ -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.4.5.0")]
-[assembly: AssemblyFileVersion("1.4.5.0")]
+[assembly: AssemblyVersion("1.4.6.0")]
+[assembly: AssemblyFileVersion("1.4.6.0")]