diff --git a/Common/version.props b/Common/version.props
index f39e5d621..230ac5be7 100644
--- a/Common/version.props
+++ b/Common/version.props
@@ -1,7 +1,7 @@
- 1.3.9
+ 1.4.0
diff --git a/Scripts/NuGet/PSharp.nuspec b/Scripts/NuGet/PSharp.nuspec
index aad35339a..af81a50d6 100644
--- a/Scripts/NuGet/PSharp.nuspec
+++ b/Scripts/NuGet/PSharp.nuspec
@@ -2,13 +2,13 @@
Microsoft.PSharp
- 1.3.9
+ 1.4.0
Microsoft
https://github.com/p-org/PSharp/blob/master/LICENSE.txt
https://github.com/p-org/PSharp
false
The P# language, runtime and testing infrastructure.
- This release contains the 1.3.9 version of the P# language, runtime and testing infrastructure.
+ This release contains the 1.4.0 version of the P# language, runtime and testing infrastructure.
© Microsoft Corporation. All rights reserved.
asynchrony testing .NET programming actors state-machines
diff --git a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
index 48e72b5de..0c0e2507b 100644
--- a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
+++ b/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.3.7.9")]
-[assembly: AssemblyFileVersion("1.3.9.0")]
+[assembly: AssemblyVersion("1.4.0.0")]
+[assembly: AssemblyFileVersion("1.4.0.0")]