Merge pull request microsoft#268 from microsoft/ellab-exception

bump up VeriSol version to 0.1.5-alpha; last merge '69a51b1 3c39efb'

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.4-alpha --global
+dotnet tool install VeriSol --version 0.1.5-alpha --global
 ```
 
 ### Install from sources
@@ -22,12 +22,13 @@ git clone https://github.com/microsoft/verisol.git
 From %VERISOL_PATH%  (the root folder of the repository), perform
 
 ```
+
 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.4-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. 
 

Sources/VeriSol.props

@@ -1,17 +1,17 @@
-<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-
-  <PropertyGroup>
-    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
-    <RepositoryROOT Condition=" '$(RepositoryROOT)' == '' ">$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildProjectDirectory), `.gitignore`))</RepositoryROOT>
-    <OutputPath>$(RepositoryROOT)\bin\$(Configuration)</OutputPath>
-    <BaseIntermediateOutputPath>$(RepositoryROOT)\obj\$(Configuration)\$(TargetFramework)\$(MSBuildProjectName)</BaseIntermediateOutputPath>
-    <PackageOutputPath>$(RepositoryROOT)\nupkg</PackageOutputPath>
-    <AppendTargetFrameworkToOutputPath>false</AppendTargetFrameworkToOutputPath>
-    <AppendRuntimeIdentifierToOutputPath>false</AppendRuntimeIdentifierToOutputPath>
-  </PropertyGroup>
-
-  <PropertyGroup>
-    <VersionPrefix>0.1.4-alpha</VersionPrefix>
-  </PropertyGroup>
-
+<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+
+  <PropertyGroup>
+    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
+    <RepositoryROOT Condition=" '$(RepositoryROOT)' == '' ">$([MSBuild]::GetDirectoryNameOfFileAbove($(MSBuildProjectDirectory), `.gitignore`))</RepositoryROOT>
+    <OutputPath>$(RepositoryROOT)\bin\$(Configuration)</OutputPath>
+    <BaseIntermediateOutputPath>$(RepositoryROOT)\obj\$(Configuration)\$(TargetFramework)\$(MSBuildProjectName)</BaseIntermediateOutputPath>
+    <PackageOutputPath>$(RepositoryROOT)\nupkg</PackageOutputPath>
+    <AppendTargetFrameworkToOutputPath>false</AppendTargetFrameworkToOutputPath>
+    <AppendRuntimeIdentifierToOutputPath>false</AppendRuntimeIdentifierToOutputPath>
+  </PropertyGroup>
+
+  <PropertyGroup>
+    <VersionPrefix>0.1.5-alpha</VersionPrefix>
+  </PropertyGroup>
+
 </Project>

azure-pipelines.yml

@@ -28,7 +28,7 @@ steps:
   inputs:
     command: custom
     custom: 'tool'
-    arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ VeriSol --version 0.1.4-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.4-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'