Merge pull request #15 from mrLSD/feat/exec-fix

Feat: Fix `ExecutionI` and added CI

Author: mrLSD

.github/workflows/dotnet.yml

@@ -0,0 +1,28 @@
+# This workflow will build a .NET project
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-net
+
+name: .NET
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup .NET
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: 8.0.x
+      - name: Restore dependencies
+        run: dotnet restore
+      - name: Build
+        run: dotnet build --no-restore
+      - name: Test
+        run: dotnet test --no-build --verbosity normal

ExecuteI.fs

@@ -439,8 +439,8 @@ let Execute (instr : InstructionI) (mstate : MachineState) =
         execAND i.rd i.rs1 i.rs2 mstate
     | FENCE _ ->
         execFENCE mstate
-    | ECALL _ ->
+    | ECALL ->
         execECALL mstate
-    | EBREAK _ ->
+    | EBREAK ->
         execEBREAK mstate
     | _ -> mstate.setRunState (Trap InstructionExecute)