From 09fdc488ee704a772c2e629077b88d53f2de3789 Mon Sep 17 00:00:00 2001
From: ellab123 <ellab@microsoft.com>
Date: Tue, 26 May 2020 17:12:16 -0700
Subject: [PATCH] bump up VeriSol version to 0.1.5-alpha; last merge '69a51b1
 3c39efb'

---
 INSTALL.md            | 4 ++--
 Sources/VeriSol.props | 2 +-
 azure-pipelines.yml   | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index ac265a62..44571bfa 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -9,7 +9,7 @@ The following are dynamically installed at VeriSol runtime (the first time only)
 ### Install from nuget.org
 Install to the **global** dotnet CLI tools cache so that you can run command  `VeriSol` from anywhere:
 ```
-dotnet tool install VeriSol --version 0.1.3-alpha --global
+dotnet tool install VeriSol --version 0.1.5-alpha --global
 ```
 
 ### Install from sources
@@ -27,7 +27,7 @@ dotnet build Sources\VeriSol.sln
 
 Install to the **global** dotnet CLI tools cache so that you can run command  `VeriSol` from anywhere:
 ```
-dotnet tool install VeriSol --version 0.1.3-alpha --global --add-source %VERISOL_PATH%/nupkg/
+dotnet tool install VeriSol --version 0.1.5-alpha --global --add-source %VERISOL_PATH%/nupkg/
 ```
 You may need to uninstall a previous version first. Use `dotnet tool uninstall --global VeriSol` first then. 
 
diff --git a/Sources/VeriSol.props b/Sources/VeriSol.props
index e263bc3d..45c4f271 100644
--- a/Sources/VeriSol.props
+++ b/Sources/VeriSol.props
@@ -11,7 +11,7 @@
   </PropertyGroup>
 
   <PropertyGroup>
-    <VersionPrefix>0.1.3-alpha</VersionPrefix>
+    <VersionPrefix>0.1.5-alpha</VersionPrefix>
   </PropertyGroup>
 
 </Project>
\ No newline at end of file
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index bb296663..2855727f 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -28,7 +28,7 @@ steps:
   inputs:
     command: custom
     custom: 'tool'
-    arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ VeriSol --version 0.1.3-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
+    arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ VeriSol --version 0.1.5-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
 
 - pwsh: |
    $(Build.SourcesDirectory)/Tools/VeriSol $(Build.SourcesDirectory)/Test/regressions/DAO-Sim-Buggy.sol Mallory /tryProof /tryRefutation:10 /printTransactionSequence
@@ -44,7 +44,7 @@ steps:
   inputs:
     command: custom
     custom: 'tool'
-    arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ SolToBoogieTest --version 0.1.3-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
+    arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ SolToBoogieTest --version 0.1.5-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
 
 - pwsh: '$(Build.SourcesDirectory)/Tools/VeriSolRegressionRunner $(Build.SourcesDirectory)/Test/'
   displayName: 'Run regression tests'