First release candidate for v0.1.0

.github/workflows/ci.yml

@@ -5,9 +5,8 @@ on:
   push:
     branches: [ main ]
 
-# Uncomment before first release.
-#env:
-#  RUSTFLAGS: -Dwarnings
+env:
+  RUSTFLAGS: -Dwarnings
 
 jobs:
   check:
@@ -59,6 +58,38 @@ jobs:
         env:
           RUSTFLAGS: --cfg asynchronix_loom
 
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
+
+      - name: Install toolchain
+        uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+
+      - name: Run cargo miri tests
+        run: cargo miri test --tests --lib
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance
+
+      - name: Run cargo miri example1
+        run: cargo miri run --example espresso_machine
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4
+
+      - name: Run cargo miri example2
+        run: cargo miri run --example power_supply
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4
+
+      - name: Run cargo miri example3
+        run: cargo miri run --example stepper_motor
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4
+
   lints:
     name: Lints
     runs-on: ubuntu-latest

.github/workflows/loom.yml

@@ -5,10 +5,16 @@ on:
   push:
     branches: [ main ]
     paths:
-      - 'asynchronix/src/runtime/executor/queue.rs'
-      - 'asynchronix/src/runtime/executor/queue/**'
-      - 'asynchronix/src/runtime/executor/task.rs'
-      - 'asynchronix/src/runtime/executor/task/**'
+      - 'asynchronix/src/channel.rs'
+      - 'asynchronix/src/channel/**'
+      - 'asynchronix/src/executor/task.rs'
+      - 'asynchronix/src/executor/task/**'
+      - 'asynchronix/src/loom_exports.rs'
+      - 'asynchronix/src/model/ports/broadcaster.rs'
+      - 'asynchronix/src/model/ports/broadcaster/**'
+      - 'asynchronix/src/util/slot.rs'
+      - 'asynchronix/src/util/spsc_queue.rs'
+      - 'asynchronix/src/util/sync_cell.rs'
 
 jobs:
   loom: