Merge branch 'master' into piotro/checkpointing-integration

Author: awariac

.gitattributes

@@ -0,0 +1,8 @@
+* text=auto
+*.sh text eol=lf
+*.bat text eol=crlf
+*.ps1 text eol=crlf
+
+*.jpg binary
+*.png binary
+*.svg binary

.github/workflows/benchmark.yml

@@ -26,10 +26,10 @@ jobs:
         )
       )
     runs-on: ubuntu-24.04
-    timeout-minutes: 40
+    timeout-minutes: 45
     container: ghcr.io/kuznia-rdzeni/amaranth-synth:ecp5-2025.01.31
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
 
       - name: Set ownership (Github Actions workaround)
         run: |
@@ -39,14 +39,14 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.11'
+          python-version: '3.13'
 
       - name: Install dependencies
         run: |
           python3 -m venv venv
           . venv/bin/activate
           python3 -m pip install --upgrade pip
-          python3 -m pip install -r requirements-dev.txt
+          python3 -m pip install ".[dev]"
 
       - name: Synthesize
         run: |
@@ -62,7 +62,7 @@ jobs:
           ./scripts/parse_benchmark_info.py -o synth-benchmark-${{ matrix.config }}.json
           cat ./synth-benchmark-${{ matrix.config }}.json
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v7
         with:
           name: synth_benchmark_results-${{ matrix.config }}
           path: synth-benchmark-${{ matrix.config }}.json
@@ -83,14 +83,14 @@ jobs:
     container: ghcr.io/kuznia-rdzeni/riscv-toolchain:2024.12.07
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
         with:
           submodules: recursive
 
       - name: Build embench
         run: cd test/external/embench && make
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v7
         with:
           name: "embench"
           path: |
@@ -99,12 +99,12 @@ jobs:
   run-perf-benchmarks:
     name: Run performance benchmarks
     runs-on: ubuntu-22.04  # older version for compatibility with Docker image
-    timeout-minutes: 30
-    container: ghcr.io/kuznia-rdzeni/verilator:v5.008-2023.11.19_v
+    timeout-minutes: 40
+    container: ghcr.io/kuznia-rdzeni/verilator:v5.032-2026.04.15
     needs: build-perf-benchmarks
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Set ownership (Github Actions workaround)
         run: |
@@ -114,21 +114,21 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.11'
+          python-version: '3.13'
 
       - name: Install dependencies
         run: |
           python3 -m venv venv
           . venv/bin/activate
           python3 -m pip install --upgrade pip
-          python3 -m pip install -r requirements-dev.txt
+          python3 -m pip install ".[dev]"
 
       - name: Generate Verilog
         run: |
           . venv/bin/activate
           PYTHONHASHSEED=0 TRANSACTRON_VERBOSE=1 ./scripts/gen_verilog.py --verbose --config full
 
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: "embench"
           path: test/external/embench/build
@@ -139,7 +139,7 @@ jobs:
           scripts/run_benchmarks.py -o perf_benchmark.json --summary perf.md
           cat perf.md >> $GITHUB_STEP_SUMMARY
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v7
         with:
           name: perf_benchmark_results
           path: perf_benchmark.json
@@ -152,7 +152,7 @@ jobs:
     needs: [run-perf-benchmarks, synthesis]
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Set ownership (Github Actions workaround)
         run: |
@@ -162,14 +162,14 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.11'
+          python-version: '3.13'
 
       - name: Install dependencies
         run: |
           python3 -m venv venv
           . venv/bin/activate
           python3 -m pip install --upgrade pip
-          python3 -m pip install -r requirements-dev.txt
+          python3 -m pip install ".[dev]"
 
       - name: Get baseline benchmarks results
         uses: actions/cache@v4
@@ -182,15 +182,15 @@ jobs:
             synth-benchmark-basic.json
             synth-benchmark-full.json
 
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: perf_benchmark_results
           path: artifacts
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: synth_benchmark_results-basic
           path: artifacts
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: synth_benchmark_results-full
           path: artifacts
@@ -230,17 +230,17 @@ jobs:
     timeout-minutes: 5
     needs: [run-perf-benchmarks, synthesis]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
 
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: perf_benchmark_results
           path: .
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: synth_benchmark_results-basic
           path: .
-      - uses: actions/download-artifact@v4
+      - uses: actions/download-artifact@v8
         with:
           name: synth_benchmark_results-full
           path: .

.github/workflows/deploy_gh_pages.yml

@@ -21,7 +21,7 @@ jobs:
       BUILD_DIR: "build"
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Set up Python
         uses: actions/setup-python@v5
@@ -33,7 +33,7 @@ jobs:
           python3 -m venv venv
           . venv/bin/activate
           python -m pip install --upgrade pip
-          python -m pip install -r requirements-dev.txt
+          python -m pip install ".[dev]"
 
       - name: Build documentation
         run: |