Merge branch 'main' into ieee_special_values

.github/workflows/docs.yml

@@ -17,15 +17,17 @@ 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
         with:
-            toolchain: 1.66.0
-            override: true
-            components: rustfmt, clippy
+          toolchain: 1.66.0
+          override: true
+          components: rustfmt, clippy
       - name: Build source documentation
         uses: actions-rs/cargo@v1
         with:

.github/workflows/rust.yml

@@ -20,8 +20,6 @@ jobs:
         uses: actions/checkout@v4
       - name: Install Rust stable
         uses: actions-rust-lang/setup-rust-toolchain@v1
-        with:
-            toolchain: stable
       - name: Build calyx dev
         run: cargo build
       - name: Check calyx build
@@ -123,7 +121,7 @@ jobs:
       working-directory: /home/calyx/interp/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

.github/workflows/stale.yml

@@ -16,6 +16,7 @@ jobs:
           days-before-stale-pr: 14
           days-before-stale-pr-draft: 180
           days-before-close-pr: 7
+          exempt-pr-label: "S: Blocked"
           stale-pr-message: "This pull request has not seen activity in 14 days and is being marked as stale. If you're continuing work on this, please reply and state how to get this PR in a mergeable state or what issues it is blocked on. If the PR is not ready for review, please mark it as a draft. The PR will be closed in 7 days if there is no further activity."
           close-pr-message: "This stale PR is being closed because it has not seen any activity in 7 days. If you're planning to continue work on it, please reopen it and mention how to make progress on it."
           stale-pr-label: "S: Stale"

.gitignore

@@ -75,3 +75,5 @@ frontends/queues/tests/**/*.expect
 
 # emacs
 *~
+
+!docs/dev/assets/*.png