Stubs backend

.credo.exs

@@ -0,0 +1,48 @@
+%{
+  configs: [
+    %{
+      name: "default",
+      strict: true,
+      checks: [
+        {Credo.Check.Consistency.TabsOrSpaces},
+        {Credo.Check.Consistency.SpaceInParentheses},
+        {Credo.Check.Consistency.SpaceAroundOperators},
+        {Credo.Check.Consistency.MultiAliasUnfold},
+        {Credo.Check.Consistency.ParameterPatternMatching},
+        {Credo.Check.Readability.ModuleDoc},
+        {Credo.Check.Readability.FunctionNames},
+        {Credo.Check.Readability.PredicateFunctionNames},
+        {Credo.Check.Readability.LargeNumbers},
+        {Credo.Check.Readability.SinglePipe},
+        {Credo.Check.Readability.StringSigils},
+        {Credo.Check.Readability.TrailingWhiteSpace},
+        {Credo.Check.Readability.ParenthesesOnZeroArityDefs},
+        {Credo.Check.Readability.AliasOrder},
+        {Credo.Check.Readability.PreferImplicitTry},
+        {Credo.Check.Readability.ModuleSpatialStructure},
+        {Credo.Check.Refactor.PipeChainStart, excluded_functions: ["from_coo", "to_coo", "new", "reduce", "resolve"]},
+        {Credo.Check.Refactor.CaseTrivialMatches},
+        {Credo.Check.Refactor.NegatedConditionsInUnless},
+        {Credo.Check.Refactor.NegatedConditions},
+        {Credo.Check.Refactor.FilterFilter},
+        {Credo.Check.Refactor.RejectReject},
+        {Credo.Check.Refactor.MapJoin},
+        {Credo.Check.Warning.IoInspect},
+        {Credo.Check.Warning.IExPry},
+        {Credo.Check.Warning.OperationOnSameValues},
+        {Credo.Check.Warning.BoolOperationOnSameValues},
+        {Credo.Check.Warning.ExpensiveEmptyEnumCheck},
+        {Credo.Check.Warning.DuplicatedErlangOption},
+        {Credo.Check.Warning.LazyLogging},
+        {Credo.Check.Warning.UnusedEnumOperation},
+        {Credo.Check.Warning.UnusedKeywordOperation},
+        {Credo.Check.Warning.UnusedListOperation},
+        {Credo.Check.Warning.UnusedStringOperation},
+        {Credo.Check.Warning.UnusedTupleOperation},
+        # Disable checks that conflict with GraphBLAS naming conventions
+        {Credo.Check.Readability.Specs, false},
+        {Credo.Check.Readability.MaxLineLength, max_length: 120}
+      ]
+    }
+  ]
+}

.github/workflows/elixir-build.yml

@@ -0,0 +1,67 @@
+name: Build
+
+on:
+  push:
+    branches: [main, develop]
+  pull_request:
+    branches: [main, develop]
+
+env:
+  MIX_ENV: test
+
+jobs:
+  test:
+    name: Test -- Elixir ${{ matrix.elixir }} / OTP ${{ matrix.otp }}
+    runs-on: ubuntu-22.04
+
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          # - elixir: "1.17.3"
+          #   otp: "26"
+          - elixir: "1.20.0-rc.3"
+            otp: "28.4.1"
+          # Latest stable versions
+          - elixir: "1.19.5"
+            otp: "28.4.1"
+            coverage: true
+          # Previous versions for compatibility
+          - elixir: "1.18.4"
+            otp: "27.3"
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Elixir
+        uses: erlef/setup-beam@v1
+        with:
+          elixir-version: ${{ matrix.elixir }}
+          otp-version: ${{ matrix.otp }}
+
+      - name: Cache Mix dependencies
+        uses: actions/cache@v4
+        with:
+          path: deps
+          key: ${{ runner.os }}-test-${{ matrix.elixir }}-${{ matrix.otp }}-v1-${{ hashFiles('**/mix.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-test-${{ matrix.elixir }}-${{ matrix.otp }}-v1-
+
+      - name: Install dependencies
+        run: mix deps.get
+
+      - name: Install Zig
+        run: |
+          ZIG_VERSION="0.15.2"
+          curl -fsSL "https://ziglang.org/download/${ZIG_VERSION}/zig-x86_64-linux-${ZIG_VERSION}.tar.xz" -o zig.tar.xz
+          tar -xf zig.tar.xz
+          ZIG_DIR="${PWD}/zig-x86_64-linux-${ZIG_VERSION}"
+          echo "${ZIG_DIR}" >> "$GITHUB_PATH"
+          "${ZIG_DIR}/zig" version
+
+      - name: Compile (warnings as errors)
+        run: mix compile --warnings-as-errors
+
+      - name: Run tests
+        run: mix test

.github/workflows/lint.yml

@@ -0,0 +1,105 @@
+name: Lint
+
+on:
+  push:
+    branches: [main, develop]
+  pull_request:
+    branches: [main, develop]
+
+env:
+  MIX_ENV: dev
+  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+jobs:
+  lint:
+    name: Lint
+    runs-on: ubuntu-22.04
+
+    # Pin to the canonical lint version -- this is not the build matrix.
+    # The matrix for compatibility testing lives in elixir-build.yml.
+    env:
+      ELIXIR_VERSION: "1.19.5"
+      OTP_VERSION: "28.4.1"
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Elixir
+        uses: erlef/setup-beam@v1
+        with:
+          elixir-version: ${{ env.ELIXIR_VERSION }}
+          otp-version: ${{ env.OTP_VERSION }}
+
+      - name: Cache dependencies
+        uses: actions/cache@v4
+        with:
+          path: |
+            deps
+            _build
+          key: ${{ runner.os }}-lint-${{ env.ELIXIR_VERSION }}-${{ env.OTP_VERSION }}-${{ hashFiles('**/mix.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-lint-${{ env.ELIXIR_VERSION }}-${{ env.OTP_VERSION }}-
+
+      - name: Install SuiteSparse:GraphBLAS
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y libgraphblas-dev pkg-config
+
+      - name: Install dependencies
+        run: mix deps.get
+
+      - name: Download Zig (for Zigler)
+        run: mix zig.get
+
+      - name: Check formatting
+        run: mix format --check-formatted
+
+      - name: Compile (warnings as errors)
+        run: mix compile --warnings-as-errors
+        env:
+          MIX_ENV: dev
+          EX_GRAPHBLAS_BUILD: "1"
+
+      - name: Run Credo
+        run: mix credo --strict
+
+      - name: Check documentation compiles without warnings
+        run: |
+          mix docs 2>&1 | tee /tmp/docs_output.txt
+          if grep -i "warning" /tmp/docs_output.txt; then
+            echo "ExDoc produced warnings -- failing."
+            exit 1
+          fi
+        env:
+          MIX_ENV: dev
+
+      - name: Check for outdated dependencies
+        run: mix hex.outdated || true
+
+      - name: Check for unused locked dependencies
+        run: mix deps.unlock --check-unused
+
+      - name: Audit dependencies for known vulnerabilities
+        run: mix deps.audit
+
+      # Dialyzer (runs after lint, reusing the same setup)
+      - name: Cache PLT
+        uses: actions/cache@v4
+        id: plt-cache
+        with:
+          path: priv/plts
+          key: ${{ runner.os }}-plt-${{ env.ELIXIR_VERSION }}-${{ env.OTP_VERSION }}-${{ hashFiles('**/mix.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-plt-${{ env.ELIXIR_VERSION }}-${{ env.OTP_VERSION }}-
+
+      - name: Create PLT directory
+        if: steps.plt-cache.outputs.cache-hit != 'true'
+        run: mkdir -p priv/plts
+
+      - name: Build PLT
+        if: steps.plt-cache.outputs.cache-hit != 'true'
+        run: mix dialyzer --plt
+
+      - name: Run Dialyzer
+        run: mix dialyzer --format github