Add clang-format and run it on the code-base

.clang-format

@@ -0,0 +1,9 @@
+---
+BasedOnStyle: LLVM
+Language: Cpp
+IndentWidth: 2
+BreakConstructorInitializersBeforeComma: 'true'
+PointerAlignment: Left
+IncludeBlocks: Preserve
+SortIncludes: false
+ColumnLimit: 120

.github/workflows/clang-format.yml

@@ -0,0 +1,16 @@
+name: clang-format-review
+
+# You can be more specific, but it currently only works on pull requests
+on: [pull_request]
+
+jobs:
+  clang-format:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install clang-tidy
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y clang-tidy
+      - name: Analyze
+        run: make format-check

Makefile

@@ -0,0 +1,9 @@
+# This file lets you format the code-base with a single command.
+FILES := $(shell find . -name '*.c' -o -name '*.h')
+.PHONY: format
+format:
+	clang-format -i -style=file $(FILES)
+
+.PHONY: format-check
+format-check:
+	clang-format --dry-run --Werror -style=file $(FILES)

core/clock.c

@@ -4,7 +4,7 @@
  * @copyright (c) 2020-2024, The University of California at Berkeley.
  * License: <a href="https://github.com/lf-lang/reactor-c/blob/main/LICENSE.md">BSD 2-clause</a>
  * @brief Implementations of functions in clock.h.
-*/
+ */
 #include "clock.h"
 #include "low_level_platform.h"
 
@@ -14,47 +14,47 @@
 
 static instant_t last_read_physical_time = NEVER;
 
-int lf_clock_gettime(instant_t *now) {
-    instant_t last_read_local;
-    int res = _lf_clock_gettime(now);
-    if (res != 0) {
-        return -1;
+int lf_clock_gettime(instant_t* now) {
+  instant_t last_read_local;
+  int res = _lf_clock_gettime(now);
+  if (res != 0) {
+    return -1;
+  }
+#if defined(_LF_CLOCK_SYNC_ON)
+  clock_sync_apply_offset(now);
+#endif
+  do {
+    // Atomically fetch the last read value. This is done with
+    // atomics to guarantee that it works on 32bit platforms as well.
+    last_read_local = lf_atomic_fetch_add64(&last_read_physical_time, 0);
+
+    // Ensure monotonicity.
+    if (*now < last_read_local) {
+      *now = last_read_local + 1;
     }
-    #if defined (_LF_CLOCK_SYNC_ON)
-    clock_sync_apply_offset(now);
-    #endif
-    do {
-        // Atomically fetch the last read value. This is done with
-        // atomics to guarantee that it works on 32bit platforms as well.
-        last_read_local = lf_atomic_fetch_add64(&last_read_physical_time, 0);
-
-        // Ensure monotonicity. 
-        if (*now < last_read_local) {
-            *now = last_read_local+1;
-        }
-
-        // Update the last read value, atomically and also make sure that another
-        // thread has not been here in between and changed it. If so. We must redo
-        // the monotonicity calculation.
-    } while(!lf_atomic_bool_compare_and_swap64(&last_read_physical_time, last_read_local, *now));
-
-    return 0;
+
+    // Update the last read value, atomically and also make sure that another
+    // thread has not been here in between and changed it. If so. We must redo
+    // the monotonicity calculation.
+  } while (!lf_atomic_bool_compare_and_swap64(&last_read_physical_time, last_read_local, *now));
+
+  return 0;
 }
 
-int lf_clock_interruptable_sleep_until_locked(environment_t *env, instant_t wakeup_time) {
-    #if defined (_LF_CLOCK_SYNC_ON)
-    // Remove any clock sync offset and call the Platform API.
-    clock_sync_remove_offset(&wakeup_time);
-    #endif
-    return _lf_interruptable_sleep_until_locked(env, wakeup_time);
+int lf_clock_interruptable_sleep_until_locked(environment_t* env, instant_t wakeup_time) {
+#if defined(_LF_CLOCK_SYNC_ON)
+  // Remove any clock sync offset and call the Platform API.
+  clock_sync_remove_offset(&wakeup_time);
+#endif
+  return _lf_interruptable_sleep_until_locked(env, wakeup_time);
 }
 
 #if !defined(LF_SINGLE_THREADED)
-int lf_clock_cond_timedwait(lf_cond_t *cond, instant_t wakeup_time) {
-    #if defined (_LF_CLOCK_SYNC_ON)
-    // Remove any clock sync offset and call the Platform API.
-    clock_sync_remove_offset(&wakeup_time);
-    #endif
-    return _lf_cond_timedwait(cond, wakeup_time);
+int lf_clock_cond_timedwait(lf_cond_t* cond, instant_t wakeup_time) {
+#if defined(_LF_CLOCK_SYNC_ON)
+  // Remove any clock sync offset and call the Platform API.
+  clock_sync_remove_offset(&wakeup_time);
+#endif
+  return _lf_cond_timedwait(cond, wakeup_time);
 }
 #endif