Upgrade the samples to PROSE_20230125.001

README.md

@@ -6,7 +6,8 @@ the Microsoft PROSE SDK.
 
 The samples are split into two categories:
 
-- Samples for using existing PROSE DSL APIs to accomplish tasks in [api-samples/api-samples.sln](api-samples/api-samples.sln). 
+- Samples for using existing PROSE DSL APIs to accomplish tasks in
+  [api-samples/api-samples.sln](api-samples/api-samples.sln). 
 - Samples for creating program synthesis solutions using the PROSE SDK by authoring a DSL in the
   [dsl-samples](dsl-samples) directory:
   - [DSL authoring tutorial](dsl-samples/tutorial)

api-samples/Detection/Detection.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,6 +6,6 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>

api-samples/Extraction.Json/Extraction.Json.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,7 +6,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
   
 </Project>

api-samples/Extraction.Text/Extraction.Text.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>
-     <PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="8.17.0" />
+     <PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

api-samples/Extraction.Web/Extraction.Web.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
@@ -9,7 +9,7 @@
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

api-samples/Matching.Text/Matching.Text.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,7 +6,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

api-samples/Read.FlatFile/Read.FlatFile.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

api-samples/Split.Text/Split.Text.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,7 +6,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

api-samples/Transformation.Formula/Transformation.Formula.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -7,7 +7,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>

api-samples/Transformation.Json/Transformation.Json.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,6 +6,6 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>

api-samples/Transformation.Text/Transformation.Text.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,6 +6,6 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>

dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj

@@ -1,10 +1,10 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Library</OutputType>
     <TargetFramework>netcoreapp3.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>

dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>

dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
@@ -6,9 +6,9 @@
   
   <ItemGroup>
     <ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="8.17.0" />
-    <DotNetCliToolReference Include="Microsoft.ProgramSynthesis.Dslc" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="PROSE_20230125.001" />
+    <DotNetCliToolReference Include="Microsoft.ProgramSynthesis.Dslc" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
@@ -11,8 +11,8 @@
   <ItemGroup>
     <ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
     <ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
 </Project>
 

dsl-samples/ProseSample/ProseSample/ProseSample.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -14,7 +14,7 @@
     <ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
     <ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
     <ProjectReference Include="..\ProseSample.TextExtraction\ProseSample.TextExtraction.csproj" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>

dsl-samples/tutorial/Readme.md

@@ -1,4 +1,4 @@
-In this tutorial, we will learn how to synthesize programs for learning string transformations.
+In this tutorial, we will learn how to synthesize programs for learning string transformations.
 
 ## Set up (Windows)
 

dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj

@@ -1,12 +1,12 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netcoreapp2.1</TargetFramework>
     <IsPackable>false</IsPackable>
   </PropertyGroup>
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
     <PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
     <PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
   </ItemGroup>

dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj

@@ -1,11 +1,11 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.1</TargetFramework>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="PROSE_20230125.001" />
   </ItemGroup>
   <ItemGroup>
     <None Update="synthesis\grammar\substring.grammar">

misc/BenchmarkDriver/BenchmarkDriver.csproj

@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
@@ -6,8 +6,8 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.ProgramSynthesis" Version="8.17.0" />
-    <PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="8.17.0" />
+    <PackageReference Include="Microsoft.ProgramSynthesis" Version="PROSE_20230125.001" />
+    <PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="PROSE_20230125.001" />
   </ItemGroup>
 
 </Project>