Upgrade the samples to 10.1.0
This commit is contained in:
Родитель
9669aa3a4f
Коммит
59230cff4c
|
@ -3,7 +3,7 @@
|
||||||
"isRoot": true,
|
"isRoot": true,
|
||||||
"tools": {
|
"tools": {
|
||||||
"microsoft.programsynthesis.dslc": {
|
"microsoft.programsynthesis.dslc": {
|
||||||
"version": "10.0.0",
|
"version": "10.1.0",
|
||||||
"commands": [
|
"commands": [
|
||||||
"dslc"
|
"dslc"
|
||||||
]
|
]
|
||||||
|
|
|
@ -6,6 +6,6 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,7 +6,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Json" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Json" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -9,7 +9,7 @@
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,7 +6,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Matching.Text" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Matching.Text" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Read.FlatFile" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Read.FlatFile" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,7 +6,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Split.Text" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Split.Text" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -7,6 +7,6 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,6 +6,6 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Json" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Json" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,6 +6,6 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -4,7 +4,7 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -6,8 +6,8 @@
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -11,8 +11,8 @@
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
||||||
<ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
|
<ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
</Project>
|
</Project>
|
||||||
|
|
||||||
|
|
|
@ -14,7 +14,7 @@
|
||||||
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
|
||||||
<ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
|
<ProjectReference Include="..\ProseSample.Substrings\ProseSample.Substrings.csproj" />
|
||||||
<ProjectReference Include="..\ProseSample.TextExtraction\ProseSample.TextExtraction.csproj" />
|
<ProjectReference Include="..\ProseSample.TextExtraction\ProseSample.TextExtraction.csproj" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -5,8 +5,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="15.3.0-preview-20170628-02" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
|
||||||
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
|
@ -4,8 +4,8 @@
|
||||||
<TargetFramework>net8.0</TargetFramework>
|
<TargetFramework>net8.0</TargetFramework>
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<None Update="synthesis\grammar\substring.grammar">
|
<None Update="synthesis\grammar\substring.grammar">
|
||||||
|
|
|
@ -6,8 +6,8 @@
|
||||||
</PropertyGroup>
|
</PropertyGroup>
|
||||||
|
|
||||||
<ItemGroup>
|
<ItemGroup>
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis" Version="10.1.0" />
|
||||||
<PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="10.0.0" />
|
<PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="10.1.0" />
|
||||||
</ItemGroup>
|
</ItemGroup>
|
||||||
|
|
||||||
</Project>
|
</Project>
|
||||||
|
|
Двоичные данные
misc/GrACE/requirements.txt
Двоичные данные
misc/GrACE/requirements.txt
Двоичный файл не отображается.
Загрузка…
Ссылка в новой задаче