Merge pull request #64 from lf-lang/formatting

Apply the formatter to all benchmarks
lf-lang · Mar 11, 2024 · b5673a1 · b5673a1
2 parents e11e02d + 7dc2484
commit b5673a1
Show file tree

Hide file tree

Showing 99 changed files with 13,374 additions and 14,676 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -28,3 +28,37 @@ jobs:
     with:
       target: 'TS'
 
+  find-latest-release:
+    uses: lf-lang/lingua-franca/.github/workflows/latest-release.yml@master
+
+  check-compile:
+    runs-on: ubuntu-latest
+    needs: find-latest-release
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Java 17
+        run: |
+          echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH
+          echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV
+        shell: bash
+      - uses: lf-lang/action-check-lf-files@main
+        with:
+          check_mode: "compile"
+          no_compile_flag: false
+          compiler_ref: ${{ needs.find-latest-release.outputs.ref }}
+
+  check-format:
+    runs-on: ubuntu-latest
+    needs: find-latest-release
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Java 17
+        run: |
+          echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH
+          echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV
+        shell: bash
+      - uses: lf-lang/action-check-lf-files@main
+        with:
+          check_mode: "format"
+          compiler_ref: ${{ needs.find-latest-release.outputs.ref }}
+
diff --git a/C/Distributed/src/PingPongDistributed.lf b/C/Distributed/src/PingPongDistributed.lf
diff --git a/C/Distributed/src/RESULTS.md b/C/Distributed/src/RESULTS.md
diff --git a/C/Distributed/src/TimeLimitDistributed.lf b/C/Distributed/src/TimeLimitDistributed.lf
diff --git a/C/Distributed/src/TimeLimitDistributedDecentralized.lf b/C/Distributed/src/TimeLimitDistributedDecentralized.lf
diff --git a/C/Distributed/src/TimeLimitDistributedDecentralized2.lf b/C/Distributed/src/TimeLimitDistributedDecentralized2.lf
diff --git a/C/Distributed/src/TimeLimitDistributedDecentralizedClockSync.lf b/C/Distributed/src/TimeLimitDistributedDecentralizedClockSync.lf
diff --git a/C/Distributed/src/TimeLimitDistributedPhysical.lf b/C/Distributed/src/TimeLimitDistributedPhysical.lf