From c6421f07392c797d3c55b050c27f144211aedad0 Mon Sep 17 00:00:00 2001 From: simmdan Date: Fri, 28 Jun 2024 17:52:17 +0000 Subject: [PATCH] Upgrade the samples to 9.0.0 --- .config/dotnet-tools.json | 12 ++++++++++++ Dockerfile | 3 --- README.md | 12 ------------ api-samples/Detection/Detection.csproj | 4 ++-- .../Extraction.Json/Extraction.Json.csproj | 4 ++-- .../Extraction.Text/Extraction.Text.csproj | 4 ++-- .../Extraction.Web/Extraction.Web.csproj | 4 ++-- api-samples/Matching.Text/Matching.Text.csproj | 4 ++-- api-samples/Read.FlatFile/Read.FlatFile.csproj | 4 ++-- api-samples/Split.Text/Split.Text.csproj | 4 ++-- .../Transformation.Formula.csproj | 4 ++-- .../Transformation.Json.csproj | 4 ++-- .../Transformation.Text.csproj | 4 ++-- .../MergeConflictsResolution.csproj | 6 +++--- .../MergeConflictsResolutionConsole.csproj | 2 +- .../ProseSample.Substrings.Semantics.csproj | 4 ++-- .../ProseSample.Substrings.csproj | 7 +++---- .../ProseSample.TextExtraction.csproj | 6 +++--- .../ProseSample/ProseSample/ProseSample.csproj | 4 ++-- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../part1a/ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../part1c/ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../part1d/ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../part2a/ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../ProseTutorial/ProseTutorial.csproj | 6 +++--- .../ProseTutorial.Tests.csproj | 6 +++--- .../part2b/ProseTutorial/ProseTutorial.csproj | 6 +++--- misc/BenchmarkDriver/BenchmarkDriver.csproj | 6 +++--- misc/GrACE/requirements.txt | Bin 386 -> 386 bytes 49 files changed, 133 insertions(+), 137 deletions(-) create mode 100644 .config/dotnet-tools.json delete mode 100644 Dockerfile diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json new file mode 100644 index 0000000..6d8cf19 --- /dev/null +++ b/.config/dotnet-tools.json @@ -0,0 +1,12 @@ +{ + "version": 1, + "isRoot": true, + "tools": { + "microsoft.programsynthesis.dslc": { + "version": "9.0.0", + "commands": [ + "dslc" + ] + } + } +} diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index c3b5cd7..0000000 --- a/Dockerfile +++ /dev/null @@ -1,3 +0,0 @@ -FROM mcr.microsoft.com/dotnet/core/sdk:2.1-focal@sha256:c854b4b29f052d944d00e05daf4d50ab63137f1950aabc40ae35ccfbfb3e4221 - -ENTRYPOINT ["/usr/bin/bash", "-c"] diff --git a/README.md b/README.md index a09a43a..09b32a6 100644 --- a/README.md +++ b/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 diff --git a/api-samples/Detection/Detection.csproj b/api-samples/Detection/Detection.csproj index 0ba719c..61d4445 100644 --- a/api-samples/Detection/Detection.csproj +++ b/api-samples/Detection/Detection.csproj @@ -2,10 +2,10 @@ Exe - net6.0 + net8.0 - + diff --git a/api-samples/Extraction.Json/Extraction.Json.csproj b/api-samples/Extraction.Json/Extraction.Json.csproj index 824cef9..e7636d1 100644 --- a/api-samples/Extraction.Json/Extraction.Json.csproj +++ b/api-samples/Extraction.Json/Extraction.Json.csproj @@ -2,11 +2,11 @@ Exe - net6.0 + net8.0 - + diff --git a/api-samples/Extraction.Text/Extraction.Text.csproj b/api-samples/Extraction.Text/Extraction.Text.csproj index 8625542..ec42417 100644 --- a/api-samples/Extraction.Text/Extraction.Text.csproj +++ b/api-samples/Extraction.Text/Extraction.Text.csproj @@ -1,11 +1,11 @@  Exe - net6.0 + net8.0 - + diff --git a/api-samples/Extraction.Web/Extraction.Web.csproj b/api-samples/Extraction.Web/Extraction.Web.csproj index 89683e0..89dfc17 100644 --- a/api-samples/Extraction.Web/Extraction.Web.csproj +++ b/api-samples/Extraction.Web/Extraction.Web.csproj @@ -1,7 +1,7 @@  Exe - net6.0 + net8.0 @@ -9,7 +9,7 @@ - + diff --git a/api-samples/Matching.Text/Matching.Text.csproj b/api-samples/Matching.Text/Matching.Text.csproj index c42dc93..7a0ee9a 100644 --- a/api-samples/Matching.Text/Matching.Text.csproj +++ b/api-samples/Matching.Text/Matching.Text.csproj @@ -2,11 +2,11 @@ Exe - net6.0 + net8.0 - + diff --git a/api-samples/Read.FlatFile/Read.FlatFile.csproj b/api-samples/Read.FlatFile/Read.FlatFile.csproj index ab5afbd..442c86f 100644 --- a/api-samples/Read.FlatFile/Read.FlatFile.csproj +++ b/api-samples/Read.FlatFile/Read.FlatFile.csproj @@ -1,11 +1,11 @@  Exe - net6.0 + net8.0 - + diff --git a/api-samples/Split.Text/Split.Text.csproj b/api-samples/Split.Text/Split.Text.csproj index 9231f24..a367a7f 100644 --- a/api-samples/Split.Text/Split.Text.csproj +++ b/api-samples/Split.Text/Split.Text.csproj @@ -2,11 +2,11 @@ Exe - net6.0 + net8.0 - + diff --git a/api-samples/Transformation.Formula/Transformation.Formula.csproj b/api-samples/Transformation.Formula/Transformation.Formula.csproj index 1799e8b..d8036dc 100644 --- a/api-samples/Transformation.Formula/Transformation.Formula.csproj +++ b/api-samples/Transformation.Formula/Transformation.Formula.csproj @@ -2,11 +2,11 @@ Exe - net6.0 + net8.0 9.0 - + diff --git a/api-samples/Transformation.Json/Transformation.Json.csproj b/api-samples/Transformation.Json/Transformation.Json.csproj index f3b1faa..50bc195 100644 --- a/api-samples/Transformation.Json/Transformation.Json.csproj +++ b/api-samples/Transformation.Json/Transformation.Json.csproj @@ -2,10 +2,10 @@ Exe - net6.0 + net8.0 - + diff --git a/api-samples/Transformation.Text/Transformation.Text.csproj b/api-samples/Transformation.Text/Transformation.Text.csproj index 0f54b54..1fedde2 100644 --- a/api-samples/Transformation.Text/Transformation.Text.csproj +++ b/api-samples/Transformation.Text/Transformation.Text.csproj @@ -2,10 +2,10 @@ Exe - net6.0 + net8.0 - + diff --git a/dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj b/dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj index b385cd5..18e7f32 100644 --- a/dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj +++ b/dsl-samples/MergeConflictsResolution/MergeConflictsResolution/MergeConflictsResolution.csproj @@ -1,10 +1,10 @@  Library - netcoreapp3.1 + net8.0 - - + + diff --git a/dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj b/dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj index fd098c6..ac8065a 100644 --- a/dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj +++ b/dsl-samples/MergeConflictsResolution/MergeConflictsResolutionConsole/MergeConflictsResolutionConsole.csproj @@ -2,7 +2,7 @@ Exe - netcoreapp3.1 + net8.0 diff --git a/dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj b/dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj index 55105e7..1421fc0 100644 --- a/dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj +++ b/dsl-samples/ProseSample/ProseSample.Substrings.Semantics/ProseSample.Substrings.Semantics.csproj @@ -1,11 +1,11 @@  - netcoreapp2.1 + net8.0 - + diff --git a/dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj b/dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj index 7e0dd58..97ac19a 100644 --- a/dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj +++ b/dsl-samples/ProseSample/ProseSample.Substrings/ProseSample.Substrings.csproj @@ -1,14 +1,13 @@  - netcoreapp2.1 + net8.0 - - - + + diff --git a/dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj b/dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj index 135f0ee..2595bf0 100644 --- a/dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj +++ b/dsl-samples/ProseSample/ProseSample.TextExtraction/ProseSample.TextExtraction.csproj @@ -1,7 +1,7 @@  - netcoreapp2.1 + net8.0 @@ -11,8 +11,8 @@ - - + + diff --git a/dsl-samples/ProseSample/ProseSample/ProseSample.csproj b/dsl-samples/ProseSample/ProseSample/ProseSample.csproj index 5137d65..2d45a70 100644 --- a/dsl-samples/ProseSample/ProseSample/ProseSample.csproj +++ b/dsl-samples/ProseSample/ProseSample/ProseSample.csproj @@ -2,7 +2,7 @@ Exe - netcoreapp2.1 + net8.0 @@ -14,7 +14,7 @@ - + diff --git a/dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1a-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1a/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1a/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1b-attempt1/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1b-attempt1/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1b-attempt2/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1b-attempt2/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1c-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1c-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1c/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1c/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1d-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1d-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part1d/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part1d/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part2a-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part2a-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part2a/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part2a/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part2b-complete/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part2b-complete/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj b/dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj index 3c967f5..d3badd6 100644 --- a/dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj +++ b/dsl-samples/tutorial/part2b/ProseTutorial.Tests/ProseTutorial.Tests.csproj @@ -1,12 +1,12 @@  - netcoreapp2.1 + net8.0 false - - + + diff --git a/dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj b/dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj index 22482a0..f91eb04 100644 --- a/dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj +++ b/dsl-samples/tutorial/part2b/ProseTutorial/ProseTutorial.csproj @@ -1,11 +1,11 @@  Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/misc/BenchmarkDriver/BenchmarkDriver.csproj b/misc/BenchmarkDriver/BenchmarkDriver.csproj index a11b37c..82d5ac2 100644 --- a/misc/BenchmarkDriver/BenchmarkDriver.csproj +++ b/misc/BenchmarkDriver/BenchmarkDriver.csproj @@ -2,12 +2,12 @@ Exe - netcoreapp2.1 + net8.0 - - + + diff --git a/misc/GrACE/requirements.txt b/misc/GrACE/requirements.txt index 7623a226e84ae5a194b22be08e47ddc3f8303298..342ea710ca81fbc72ded36c78b446e58911f81a8 100644 GIT binary patch delta 24 ecmZo-ZerdLz{qOGpvPc5Ih0YI%>u|WVgLX^(F9fi delta 24 ecmZo-ZerdLz{qOCpvPc1Ih0YI%?!vgU;qF?i3Cmn