Merge branch 'main' into seq

.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/format.yml

@@ -44,13 +44,23 @@ jobs:
       - name: Fud Formatting check
         uses: psf/black@stable
         with:
-          options: "--line-length 88"
+          options: "--line-length 88 --check"
           src: 'fud'
+      - name: Calyx-Py Formatting check
+        uses: psf/black@stable
+        with:
+          options: "--line-length 88 --check"
+          src: 'calyx-py'
       - name: Systolic Array Formatting check
         uses: psf/black@stable
         with:
-          options: "--line-length 88"
+          options: "--line-length 88 --check"
           src: 'frontends/systolic-lang'
+      - name: Queues Formatting check
+        uses: psf/black@stable
+        with:
+          options: "--line-length 88 --check"
+          src: 'frontends/queues'
       - name: Fud Linting check
         uses: TrueBrain/actions-flake8@master
         with:

.github/workflows/rust.yml

@@ -123,7 +123,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
@@ -161,14 +161,21 @@ jobs:
         git checkout -f $GITHUB_SHA
         git clean -fd
 
-    - name: Install calyx-py & MrXL
+    - name: Install calyx-py, MrXL, and queues
       working-directory: /home/calyx
       run: |
         cd calyx-py
         FLIT_ROOT_INSTALL=1 flit install --symlink
         cd -
         cd frontends/mrxl
         FLIT_ROOT_INSTALL=1 flit install --symlink
+        cd -
+        cd frontends/queues
+        FLIT_ROOT_INSTALL=1 flit install --symlink
+
+    - name: Generate queue .data and .expect files
+      working-directory: /home/calyx
+      run: ./frontends/queues/test_data_gen/gen_test_data.sh
 
     - name: Build
       uses: actions-rs/cargo@v1
@@ -191,7 +198,7 @@ jobs:
     - name: Runt tests
       working-directory: /home/calyx
       run: |
-        runt -x 'cocotb' -d -o fail -j 1 --max-futures 5
+        runt -x 'cocotb|profiler' -d -o fail -j 1 --max-futures 5
 
     - name: Run Python Tests
       working-directory: /home/calyx

.github/workflows/stale.yml

@@ -0,0 +1,29 @@
+name: "Mark stale issues and pull requests"
+
+on:
+  schedule:
+    - cron: "0 12 * * *" # Runs every day at noon
+
+jobs:
+  stale:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/stale@v9
+        with:
+          operations-per-run: 30
+          remove-stale-when-updated: true
+          # Pull request configuration
+          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"
+          # Issue configuration: We only operate on issues that are waiting for a response
+          days-before-stale-issue: 14
+          days-before-close-issue: 14
+          only-issue-labels: "S: Awaiting response"
+          stale-issue-message: "This issue has been marked as stale. Please follow-up with this issue and provide more information on how to close it or make progress on it. The issue will be closed if it does not see any activity in the next 14 days."
+          close-issue-message: "There has been no response on this issue in 14 days after requesting it so we are closing it. If this issue is still a problem for you, please reopen it and provide more information."
+          stale-issue-label: "S: Stale"

.gitignore

@@ -39,6 +39,8 @@ __pycache__
 !.vscode/launch.json
 !.vscode/tasks.json
 
+.idea/
+
 # cocotb artifacts
 tests/xilinx/cocotb/**/hdl
 sim_build/
@@ -55,11 +57,21 @@ results.xml
 # btor2i ignore
 tools/btor2/btor2i/build/
 
-# vcd-parsing tmp files ignore
-tools/profiler/tmp/
-tools/profiler/logs
+# profiling ignore
+tools/profiler/data
+tools/profiler/meta-logs
+tools/profiler/fg-tmp
+tools/profiler/handmade-flame-graphs/*/*.svg
+tools/profiler/inst-check-tmp
 
 temp/
 
+# large queue .data and .expect files ignore
+frontends/queues/tests/**/*.data
+frontends/queues/tests/**/*.expect
+
 # for running a venv
-.venv
+.venv
+
+# emacs
+*~