Test correct and incorrect type parameters from CVA6

.github/workflows/main.yaml

@@ -16,18 +16,21 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-20.04
-          - macOS-11
-          - windows-2019
+          - ubuntu-22.04
+          - macOS-13
+          - windows-2022
     steps:
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v4
+      - name: Install Dependencies (macOS)
+        if: runner.os == 'macOS'
+        run: brew install haskell-stack
       - name: Build
         run: make
       - name: Prepare Artifact
         shell: bash
         run: cp LICENSE NOTICE README.md CHANGELOG.md bin
       - name: Upload Artifact
-        uses: actions/upload-artifact@v1
+        uses: actions/upload-artifact@v4
         with:
           name: ${{ runner.os }}
           path: bin
@@ -37,23 +40,23 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-20.04
-          - macOS-11
+          - ubuntu-22.04
+          - macOS-13
     needs: build
     env:
-      IVERILOG_REF: 8ee1d56e1acbc130aa63da3c8ef0d535a551cf28
+      IVERILOG_REF: ef7f0a8f38782dfc0872b1e352ccf32343c10bb8
     steps:
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v4
       - name: Install Dependencies (macOS)
         if: runner.os == 'macOS'
         run: |
-          brew install shunit2 bison autoconf
+          brew install bison autoconf
           echo "$(brew --prefix bison)/bin" >> $GITHUB_PATH
       - name: Install Dependencies (Linux)
         if: runner.os == 'Linux'
-        run: sudo apt-get install -y shunit2 flex bison autoconf gperf
+        run: sudo apt-get install -y flex bison autoconf gperf
       - name: Cache iverilog
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: ~/.local
           key: ${{ runner.OS }}-${{ env.IVERILOG_REF }}
@@ -70,27 +73,29 @@ jobs:
             make install
             cd ..
           fi
+          curl -L https://raw.githubusercontent.com/kward/shunit2/v2.1.8/shunit2 > ~/.local/bin/shunit2
+          chmod +x ~/.local/bin/shunit2
+          echo "$HOME/.local/bin" >> $GITHUB_PATH
       - name: Download Artifact
-        uses: actions/download-artifact@v1
+        uses: actions/download-artifact@v4
         with:
           name: ${{ runner.os }}
           path: bin
       - name: Test
         run: |
           chmod +x bin/sv2v
-          export PATH="$PATH:$HOME/.local/bin"
           make test
 
   release:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     strategy:
       matrix:
         name: [macOS, Linux, Windows]
     needs: build
     if: github.event_name == 'release'
     steps:
       - name: Download Artifact
-        uses: actions/download-artifact@v1
+        uses: actions/download-artifact@v4
         with:
           name: ${{ matrix.name }}
           path: sv2v-${{ matrix.name }}
@@ -99,7 +104,7 @@ jobs:
       - name: Create ZIP
         run: zip -r sv2v-${{ matrix.name }} ./sv2v-${{ matrix.name }}
       - name: Upload Release Asset
-        uses: actions/[email protected].1
+        uses: actions/[email protected].2
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:

.github/workflows/notice.yaml

@@ -11,9 +11,9 @@ on:
       - NOTICE
 jobs:
   notice:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v4
       - name: Regenerate NOTICE
         run: ./notice.sh > NOTICE
       - name: Validate NOTICE

CHANGELOG.md

@@ -17,13 +17,16 @@
 ### Bug Fixes
 
 * Fixed an issue that prevented parsing tasks and functions with `inout` ports
+* Fixed signed unsized literals with a leading 1 bit (e.g., `'sb1`, `'sh8f`)
+  incorrectly sign-extending in size and type casts
 * Fixed conflicting genvar names when inlining interfaces and modules that use
   them; all genvars are now given a design-wide unique name
 * Fixed byte order of strings in size casts
 * Fixed unconverted structs within explicit type casts
 * Fixed unconverted multidimensional struct fields within dimension queries
 * Fixed non-typenames (e.g., from packages or subsequent declarations)
   improperly shadowing the names of `struct` pattern fields
+* Fixed shadowing of interface array indices passed to port connections
 * Fixed failure to resolve typenames suffixed with dimensions in contexts
   permitting both types and expressions, e.g., `$bits(T[W-1:0])`
 * Fixed errant constant folding of shadowed non-trivial localparams