microsoft
/
prose
зеркало из
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Upgrade the samples to 9.0.0

This commit is contained in:
simmdan 2024-06-28 17:52:17 +00:00
Родитель 9111712f65
Коммит c6421f0739
49 изменённых файлов: 133 добавлений и 137 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

12
.config/dotnet-tools.json Normal file
Просмотреть файл

@ -0,0 +1,12 @@
{
"version": 1,
"isRoot": true,
"tools": {
"microsoft.programsynthesis.dslc": {
"version": "9.0.0",
"commands": [
"dslc"
]
}
}
}

3
Dockerfile
Просмотреть файл

@ -1,3 +0,0 @@
FROM mcr.microsoft.com/dotnet/core/sdk:2.1-focal@sha256:c854b4b29f052d944d00e05daf4d50ab63137f1950aabc40ae35ccfbfb3e4221
ENTRYPOINT ["/usr/bin/bash", "-c"]

12
README.md
Просмотреть файл

@ -17,18 +17,6 @@ The samples are split into two categories:
You can find guides for some of these sample projects and other information about the PROSE project here:
[https://microsoft.github.io/prose/](https://microsoft.github.io/prose/)
Optionally, you can get started quickly using [Docker](https://www.docker.com/get-started):
```sh
git clone https://github.com/microsoft/prose.git
cd prose
docker build -t prose-samples .
docker run -it --rm -v "$(pwd):/opt/prose-samples" -w "/opt/prose-samples" prose-samples bash
# Inside the Docker container
cd dsl-samples/ProseSample/ProseSample # ... or the directory for any other sample project
dotnet run # run the sample in the current directory
```
## Contributing
The source of truth for all the information in this repository is actually an internal Microsoft repository, and any

4
api-samples/Detection/Detection.csproj
Просмотреть файл

@ -2,10 +2,10 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Detection" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Extraction.Json/Extraction.Json.csproj
Просмотреть файл

@ -2,11 +2,11 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Json" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Json" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Extraction.Text/Extraction.Text.csproj
Просмотреть файл

@ -1,11 +1,11 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Text" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Extraction.Web/Extraction.Web.csproj
Просмотреть файл

@ -1,7 +1,7 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
@ -9,7 +9,7 @@
</ItemGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Extraction.Web" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Matching.Text/Matching.Text.csproj
Просмотреть файл

@ -2,11 +2,11 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Matching.Text" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Matching.Text" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Read.FlatFile/Read.FlatFile.csproj
Просмотреть файл

@ -1,11 +1,11 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Read.FlatFile" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Read.FlatFile" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Split.Text/Split.Text.csproj
Просмотреть файл

@ -2,11 +2,11 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Split.Text" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Split.Text" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Transformation.Formula/Transformation.Formula.csproj
Просмотреть файл

@ -2,11 +2,11 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
<LangVersion>9.0</LangVersion>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Formula" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Transformation.Json/Transformation.Json.csproj
Просмотреть файл

@ -2,10 +2,10 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Json" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Json" Version="9.0.0" />
</ItemGroup>
</Project>

4
api-samples/Transformation.Text/Transformation.Text.csproj
Просмотреть файл

@ -2,10 +2,10 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Transformation.Text" Version="9.0.0" />
</ItemGroup>
</Project>

6
dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj
Просмотреть файл

@ -1,10 +1,10 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Library</OutputType>
<TargetFramework>netcoreapp3.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
</ItemGroup>
</Project>

2
dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj
Просмотреть файл

@ -2,7 +2,7 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>netcoreapp3.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>

4
dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj
Просмотреть файл

@ -1,11 +1,11 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="9.0.0" />
</ItemGroup>
</Project>

7
dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj
Просмотреть файл

@ -1,14 +1,13 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<ProjectReference Include="..\ProseSample.Substrings.Semantics\ProseSample.Substrings.Semantics.csproj" />
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="8.33.0" />
<DotNetCliToolReference Include="Microsoft.ProgramSynthesis.Dslc" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Common" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.DslcTargets" Version="9.0.0" />
</ItemGroup>
</Project>

6
dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj
Просмотреть файл

@ -1,7 +1,7 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
@ -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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
</ItemGroup>
</Project>

4
dsl-samples/ProseSample/ProseSample/ProseSample.csproj
Просмотреть файл

@ -2,7 +2,7 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
@ -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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
</ItemGroup>
</Project>

6
dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj
Просмотреть файл

@ -1,12 +1,12 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</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.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.Compiler" Version="9.0.0" />
<PackageReference Include="MSTest.TestAdapter" Version="1.1.18" />
<PackageReference Include="MSTest.TestFramework" Version="1.1.18" />
</ItemGroup>

6
dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj
Просмотреть файл

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

6
misc/BenchmarkDriver/BenchmarkDriver.csproj
Просмотреть файл

@ -2,12 +2,12 @@
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>netcoreapp2.1</TargetFramework>
<TargetFramework>net8.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.ProgramSynthesis" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="8.33.0" />
<PackageReference Include="Microsoft.ProgramSynthesis" Version="9.0.0" />
<PackageReference Include="Microsoft.ProgramSynthesis.CommandLine" Version="9.0.0" />
</ItemGroup>
</Project>

Двоичные данные
misc/GrACE/requirements.txt
Просмотреть файл

Двоичный файл не отображается.