Merge main into explicit fsm compilation

.github/workflows/docs.yml

@@ -17,15 +17,15 @@ jobs:
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1
         with:
-          mdbook-version: 'latest'
+          mdbook-version: "latest"
+      - name: Install callouts preprocessor
+        run: cargo install --git https://github.com/ToolmanP/rs-mdbook-callouts --rev 83898e352a961fc65044e04c864141c8b5481722
       - name: mdbook
         run: mdbook build
       - name: Install Rust stable
-        uses: actions-rs/toolchain@v1
+        uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
-            toolchain: 1.66.0
-            override: true
-            components: rustfmt, clippy
+          components: rustfmt, clippy
       - name: Build source documentation
         uses: actions-rs/cargo@v1
         with:

.github/workflows/format.yml

@@ -13,10 +13,8 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v4
     - name: Install stable
-      uses: actions-rs/toolchain@v1
+      uses: actions-rust-lang/setup-rust-toolchain@v1
       with:
-          toolchain: 1.76.0
-          override: true
           components: rustfmt, clippy
     - name: Check formatting
       uses: actions-rs/cargo@v1

.github/workflows/playground.yml

@@ -14,8 +14,6 @@ jobs:
       - uses: actions/setup-node@v4
       - name: Install Rust stable
         uses: actions-rust-lang/setup-rust-toolchain@v1
-        with:
-            toolchain: stable
       - name: Install wasm-pack and wasm-bindgen-cli
         uses: taiki-e/install-action@wasm-pack
         with:

.github/workflows/rust.yml

@@ -18,10 +18,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
-      - name: Install Rust stable
+      - name: Install Rust toolchain
         uses: actions-rust-lang/setup-rust-toolchain@v1
-        with:
-            toolchain: stable
       - name: Build calyx dev
         run: cargo build
       - name: Check calyx build
@@ -109,33 +107,37 @@ jobs:
         git checkout -f $GITHUB_SHA
         git clean -fd
 
+    - name: Checkout toolchain configuration
+      uses: actions/checkout@v4
+      with:
+        sparse-checkout: |
+          rust-toolchain.toml
+        sparse-checkout-cone-mode: false
+    - name: Install Rust toolchain
+      uses: actions-rust-lang/setup-rust-toolchain@v1
     - name: Build
       uses: actions-rs/cargo@v1
       with:
         command: build
-        args: --all --all-features --manifest-path /home/calyx/interp/Cargo.toml
-
-    - name: Set location of cider binary
-      run: |
-        fud c stages.interpreter.exec /home/calyx/target/debug/cider
+        args: --all --all-features --manifest-path /home/calyx/cider/Cargo.toml
 
     - name: Runt tests
-      working-directory: /home/calyx/interp/tests
+      working-directory: /home/calyx/cider/tests
       run: |
         # Run the remaining tests
-        runt -x '(numeric types correctness and parsing)|(tcam testing)|(../../tests/correctness/pipelined-mac.futil)' -d -o fail
+        runt -x '(numeric types correctness and parsing)' -d -o fail
 
     - name: Source code tests
       uses: actions-rs/cargo@v1
       with:
         command: test
-        args: --manifest-path /home/calyx/interp/Cargo.toml
+        args: --manifest-path /home/calyx/cider/Cargo.toml
 
     - name: Source code doc tests
       uses: actions-rs/cargo@v1
       with:
         command: test
-        args: --manifest-path /home/calyx/interp/Cargo.toml --doc
+        args: --manifest-path /home/calyx/cider/Cargo.toml --doc
 
   compiler:
     name: Test Compiler
@@ -161,6 +163,16 @@ jobs:
         git checkout -f $GITHUB_SHA
         git clean -fd
 
+    - name: Checkout toolchain configuration
+      uses: actions/checkout@v4
+      with:
+        sparse-checkout: |
+          rust-toolchain.toml
+        sparse-checkout-cone-mode: false
+
+    - name: Install Rust toolchain
+      uses: actions-rust-lang/setup-rust-toolchain@v1
+
     - name: Install calyx-py, MrXL, and queues
       working-directory: /home/calyx
       run: |
@@ -228,6 +240,16 @@ jobs:
         git checkout -f $GITHUB_SHA
         git clean -fd
 
+    - name: Checkout toolchain configuration
+      uses: actions/checkout@v4
+      with:
+        sparse-checkout: |
+          rust-toolchain.toml
+        sparse-checkout-cone-mode: false
+
+    - name: Install Rust toolchain
+      uses: actions-rust-lang/setup-rust-toolchain@v1
+
     - name: Build
       uses: actions-rs/cargo@v1
       with:

.gitignore

@@ -61,8 +61,8 @@ tools/btor2/btor2i/build/
 tools/profiler/data
 tools/profiler/meta-logs
 tools/profiler/fg-tmp
-tools/profiler/handmade-flame-graphs/*/*.svg
-tools/profiler/inst-check-tmp
+*.svg
+*.folded
 
 temp/
 
@@ -75,3 +75,5 @@ frontends/queues/tests/**/*.expect
 
 # emacs
 *~
+
+!docs/dev/assets/*.png