[P 2.1] Upgrade to .NET 8 (#705)

* Removed the C backend completely in the P 2.1

* Upgraded P to use .Net 8.0

* Updated the actions to .Net 8.0

* [PSym] Upgrade to .NET 8.0

* Update build scripts and docs (#703)

* Update .Net 8 SDK instructions for AL2 (#704)

* Update .net version to 8.0 in build scripts

* Update .net 8 installation in docs

* Update dotnet sdk 8.0 installation instructions for AL2

* [P 2.1] Cleanup and correct docs

Changes Java installation to Java 17 on AL2 in docs

Removes P 2.0.x install steps in old install instructions

Removes global.json file

* [2.1] Adds option --list-tests to p check command to list all test cases and exit

* Add installation details url for .net AL2 (#706)

---------

Co-authored-by: Ankush Desai <[email protected]>
Co-authored-by: Ankush Desai <[email protected]>
Co-authored-by: mchadalavada <[email protected]>

Author: 3 people

.github/workflows/macosci.yml

@@ -10,7 +10,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/pcover.yml

@@ -21,7 +21,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/psym.yml

@@ -21,7 +21,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/psymb.yml

@@ -21,7 +21,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/release.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Setup .NET Core @ Latest
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: 6.0.x
+          dotnet-version: 8.0.x
 
       - name: Set the package version
         run: |

.github/workflows/tutorials.yml

@@ -13,7 +13,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/ubuntuci.yml

@@ -10,7 +10,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Set up JDK
       uses: actions/setup-java@v1
       with:

.github/workflows/windowsci.yml

@@ -10,7 +10,7 @@ jobs:
     - name: Setup .NET Core
       uses: actions/setup-dotnet@v1
       with:
-        dotnet-version: 6.0.x
+        dotnet-version: 8.0.x
     - name: Build
       run: dotnet build --configuration Release
     - name: Test

Bld/build.sh

@@ -23,11 +23,11 @@ output=`dotnet build -c Release -v q 2>&1` || echo $output
 
 if [ $? -eq 0 ]; then
     echo -e "${GREEN} ----------------------------------${NOCOLOR}"
-    echo -e "${GREEN} P Compiler located in ${PWD}/Bld/Drops/Release/Binaries/net6.0/p.dll${NOCOLOR}"
+    echo -e "${GREEN} P Compiler located in ${PWD}/Bld/Drops/Release/Binaries/net8.0/p.dll${NOCOLOR}"
     echo -e "${GREEN} ----------------------------------${NOCOLOR}"
     echo -e "${GREEN} ----------------------------------${NOCOLOR}"
     echo -e "${GREEN} Shortcuts:: (add the following lines (aliases) to your bash_profile) ${NOCOLOR}"
-    echo -e "${ORANGE} alias pl='dotnet ${PWD}/Bld/Drops/Release/Binaries/net6.0/p.dll'${NOCOLOR}"
+    echo -e "${ORANGE} alias pl='dotnet ${PWD}/Bld/Drops/Release/Binaries/net8.0/p.dll'${NOCOLOR}"
     echo -e "${GREEN} ----------------------------------${NOCOLOR}"
 fi
 

Docs/docs/getstarted/install.md

@@ -7,7 +7,7 @@ P is built to be cross-platform and can be used on MacOS, Linux, and Windows. We
 
 ### [Step 1] Install .Net Core SDK
 The P compiler is implemented in C# and hence the tool chain requires `dotnet`.
-P currently uses the specific version of [.Net SDK 6.0](https://dotnet.microsoft.com/en-us/download/dotnet/6.0).
+P currently uses the specific version of [.Net SDK 8.0](https://dotnet.microsoft.com/en-us/download/dotnet/8.0).
 
 
 === "MacOS"
@@ -16,10 +16,10 @@ P currently uses the specific version of [.Net SDK 6.0](https://dotnet.microsoft
 
     ```shell
     brew tap isen-ng/dotnet-sdk-versions
-    brew install --cask dotnet-sdk6-0-400
+    brew install --cask dotnet-sdk8-0-200
     ```
 
-    Dont have Homebrew? :upside_down_face: Install manually using the installer for [x64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-6.0.405-macos-x64-installer) or [Arm64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-6.0.405-macos-arm64-installer).
+    Dont have Homebrew? :upside_down_face: Install manually using the installer for [x64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-8.0.201-macos-x64-installer) or [Arm64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-8.0.201-macos-arm64-installer).
 
 === "Ubuntu"
 
@@ -32,32 +32,38 @@ P currently uses the specific version of [.Net SDK 6.0](https://dotnet.microsoft
     ```
 
     ```shell
-    sudo apt update && sudo apt install -y dotnet-sdk-6.0
+    sudo apt update && sudo apt install -y dotnet-sdk-8.0
     ```
 
 
 === "Amazon Linux"
-    
-    Installing .Net SDK on Amazon Linux ([details](https://docs.servicestack.net/deploy-netcore-to-amazon-linux-2-ami))
 
+    Installing .Net SDK on Amazon Linux 2 ([details](https://learn.microsoft.com/en-us/dotnet/core/install/linux-scripted-manual#scripted-install))
+    
     ```shell
-    sudo rpm -Uvh https://packages.microsoft.com/config/centos/7/packages-microsoft-prod.rpm
-    ```
+    wget https://dotnet.microsoft.com/download/dotnet/scripts/v1/dotnet-install.sh
+    chmod +x dotnet-install.sh
+    ./dotnet-install.sh  -c 8.0 -i ~/.dotnet
+    
+    # If using a bash shell, replace .zshrc with .bashrc in the below commands
+    echo 'PATH=$HOME/.dotnet:$HOME/.dotnet/tools:$PATH' >> ~/.zshrc
+    echo 'export PATH' >> ~/.zshrc
+    source ~/.zshrc
 
-    ```shell
-    sudo yum install -y dotnet-sdk-6.0
+    sudo mkdir /usr/share/dotnet/
+    sudo cp -r ~/.dotnet/* /usr/share/dotnet/
     ```
 
 === "Windows"
 
-    Installing .Net SDK on Windows using the installer for [x64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-6.0.405-windows-x64-installer) or [Arm64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-6.0.405-windows-arm64-installer)
+    Installing .Net SDK on Windows using the installer for [x64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-8.0.201-windows-x64-installer) or [Arm64](https://dotnet.microsoft.com/en-us/download/dotnet/thank-you/sdk-8.0.201-windows-arm64-installer)
 
 ??? hint "Troubleshoot: Confirm that dotnet is correctly installed on your machine."
     ```shell
     dotnet --list-sdks
     ```
 
-    You must see an SDK with `6.0.*` dotnet version installed.
+    You must see an SDK with `8.0.*` dotnet version installed.
     If you get `dotnet` command not found error, mostly likely, you need to add the path to dotnet in your `PATH`.
 
     Useful resources:
@@ -88,10 +94,10 @@ The P compiler also requires Java (`java` version 11 or higher).
 
 === "Amazon Linux"
 
-    Installing Java 11 on Amazon Linux (you can use any version of java >= 11)
+    Installing Java 17 on Amazon Linux (you can use any version of java >= 11)
 
     ```shell
-    sudo yum install -y java-11-amazon-corretto
+    sudo yum install -y java-17-amazon-corretto
     ```
 
 === "Windows"

Docs/docs/old/getstarted/install.md

@@ -3,10 +3,10 @@
 P is built to be cross-platform and can be used on MacOS, Linux, and Windows. We provide a step-by-step guide for installing P along with its required dependencies.
 
 !!! info ""
-    After each step, please use the troubleshooting check to ensure that each installation step succeeded.
+After each step, please use the troubleshooting check to ensure that each installation step succeeded.
 
 ### [Step 1] Install .Net Core SDK
-The P compiler and checker are implemented in C# and hence the tool chain requires `dotnet`. 
+The P compiler and checker are implemented in C# and hence the tool chain requires `dotnet`.
 P currently uses the specific version of [.Net SDK 3.1](https://dotnet.microsoft.com/download/dotnet/3.1).
 To install .Net Core 3.1 SDK use:
 
@@ -37,7 +37,7 @@ To install .Net Core 3.1 SDK use:
     ```
 
 === "Amazon Linux"
-    Installing .Net SDK on Amazon Linux ([details](https://docs.servicestack.net/deploy-netcore-to-amazon-linux-2-ami))
+Installing .Net SDK on Amazon Linux ([details](https://docs.servicestack.net/deploy-netcore-to-amazon-linux-2-ami))
 
     ```
     sudo rpm -Uvh https://packages.microsoft.com/config/centos/7/packages-microsoft-prod.rpm
@@ -52,7 +52,7 @@ To install .Net Core 3.1 SDK use:
     Installing .Net SDK on Windows using the installer ([details](https://dotnet.microsoft.com/download/dotnet/thank-you/sdk-3.1.412-windows-x64-installer))
 
 ??? hint "Troubleshoot: Confirm that dotnet is correctly installed on your machine."
-    `dotnet --list-sdks`
+`dotnet --list-sdks`
 
     You must see an SDK with `3.1.*` dotnet version installed.
     If you get `dotnet` command not found error, mostly likely, you need to add the path to dotnet in your `PATH`.
@@ -92,7 +92,7 @@ To install Java use:
     Installing Java on Windows ([details](https://www.java.com/en/download/help/windows_manual_download.html))
 
 ??? hint "Troubleshoot: Confirm that java is correctly installed on your machine."
-    `java -version`
+`java -version`
 
     If you get `java` command not found error, mostly likely, you need to add the path to `java` in your `PATH`.
 
@@ -115,7 +115,7 @@ dotnet tool install --global P
     If you are getting the error that the `pc` command is not found, it is most likely that `$HOME/.dotnet/tools` is not in your `PATH`.
 
 ??? help "Updating P Compiler"
-    You can update the version of `P` compiler by running the following command:
+You can update the version of `P` compiler by running the following command:
 
     `dotnet tool update --global P`
 
@@ -164,4 +164,4 @@ We highly recommend that you create the following alias as we use it in the rest
 
 ## Using P
 
- Great :smile:! You are all set to compile and test your first P program :mortar_board:!
+Great :smile:! You are all set to compile and test your first P program :mortar_board:!

Src/PChecker/CheckerCore/Actors/Actor.cs

@@ -14,8 +14,8 @@
 using PChecker.Actors.Events;
 using PChecker.Actors.Exceptions;
 using PChecker.Actors.Handlers;
-using PChecker.Actors.Managers;
 using PChecker.Actors.Logging;
+using PChecker.Actors.Managers;
 using PChecker.Exceptions;
 using PChecker.IO.Debugging;
 using EventInfo = PChecker.Actors.Events.EventInfo;
@@ -789,7 +789,7 @@ private void AssertActionValidity(MethodInfo action)
             var actionType = action.DeclaringType;
             var parameters = action.GetParameters();
             Assert(parameters.Length is 0 ||
-                (parameters.Length is 1 && parameters[0].ParameterType == typeof(Event)),
+                   (parameters.Length is 1 && parameters[0].ParameterType == typeof(Event)),
                 "Action '{0}' in '{1}' must either accept no parameters or a single parameter of type 'Event'.",
                 action.Name, actionType.Name);
 
@@ -1003,4 +1003,4 @@ public OnEventDoActionAttribute(Type eventType, string actionName)
             }
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/ActorFactory.cs

@@ -45,4 +45,4 @@ public static Actor Create(Type type)
             return constructor();
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/ActorId.cs

@@ -155,4 +155,4 @@ public override int GetHashCode()
 
         int IComparable<ActorId>.CompareTo(ActorId other) => string.Compare(Name, other?.Name);
     }
-}
+}

Src/PChecker/CheckerCore/Actors/ActorRuntime.cs

@@ -726,4 +726,4 @@ protected override void Dispose(bool disposing)
             base.Dispose(disposing);
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/EventQueues/DequeueStatus.cs

@@ -28,4 +28,4 @@ internal enum DequeueStatus
         /// </summary>
         NotAvailable
     }
-}
+}

Src/PChecker/CheckerCore/Actors/EventQueues/EnqueueStatus.cs

@@ -33,4 +33,4 @@ internal enum EnqueueStatus
         /// </summary>
         Dropped
     }
-}
+}

Src/PChecker/CheckerCore/Actors/EventQueues/EventQueue.cs

@@ -292,4 +292,4 @@ public void Dispose()
             GC.SuppressFinalize(this);
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/EventQueues/IEventQueue.cs

@@ -62,4 +62,4 @@ internal interface IEventQueue : IDisposable
         /// </summary>
         void Close();
     }
-}
+}

Src/PChecker/CheckerCore/Actors/EventQueues/Mocks/MockEventQueue.cs

@@ -346,4 +346,4 @@ public void Dispose()
             GC.SuppressFinalize(this);
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/DefaultEvent.cs

@@ -25,4 +25,4 @@ private DefaultEvent()
         {
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/Event.cs

@@ -12,4 +12,4 @@ namespace PChecker.Actors.Events
     public abstract class Event
     {
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/EventInfo.cs

@@ -60,4 +60,4 @@ internal EventInfo(Event e, EventOriginInfo originInfo)
             OriginInfo = originInfo;
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/EventOriginInfo.cs

@@ -39,4 +39,4 @@ internal EventOriginInfo(ActorId senderActorId, string senderMachineName, string
             SenderStateName = senderStateName;
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/GotoStateEvent.cs

@@ -27,4 +27,4 @@ public GotoStateEvent(Type s)
             State = s;
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/HaltEvent.cs

@@ -24,4 +24,4 @@ private HaltEvent()
         {
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/QuiescentEvent.cs

@@ -25,4 +25,4 @@ public QuiescentEvent(ActorId id)
             ActorId = id;
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Events/WildcardEvent.cs

@@ -19,4 +19,4 @@ public WildCardEvent()
         {
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Exceptions/ActionExceptionFilterException.cs

@@ -30,4 +30,4 @@ internal ActionExceptionFilterException(string message, Exception innerException
         {
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Exceptions/OnEventDroppedHandler.cs

@@ -9,4 +9,4 @@ namespace PChecker.Actors.Exceptions
     /// Handles the <see cref="IActorRuntime.OnEventDropped"/> event.
     /// </summary>
     public delegate void OnEventDroppedHandler(Event e, ActorId target);
-}
+}

Src/PChecker/CheckerCore/Actors/Exceptions/OnExceptionOutcome.cs

@@ -23,4 +23,4 @@ public enum OnExceptionOutcome
         /// </summary>
         Halt = 2
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Exceptions/UnhandledEventException.cs

@@ -36,4 +36,4 @@ internal UnhandledEventException(Event unhandledEvent, string currentStateName,
             UnhandledEvent = unhandledEvent;
         }
     }
-}
+}

Src/PChecker/CheckerCore/Actors/Handlers/ActionEventHandlerDeclaration.cs

@@ -23,4 +23,4 @@ public ActionEventHandlerDeclaration(string actionName)
 
         internal override bool Inheritable => true;
     }
-}
+}