CUDD Release 4.0

.devcontainer/Dockerfile

@@ -0,0 +1,42 @@
+FROM ghcr.io/almalinux/almalinux:8
+ARG TARGETARCH TARGETOS TARGETPLATFORM TARGETVARIANT
+
+RUN dnf install -y \
+      dnf-plugins-core \
+      dnf-plugin-config-manager \
+      epel-release \
+      && \
+    dnf config-manager --enable powertools && \
+    dnf install -y \
+      git \
+      wget \
+      make \
+      cmake \
+      ninja-build \
+      gcc-toolset-14-gcc \
+      gcc-toolset-14-gcc-c++ \
+      python3.12 \
+      python3.12-pip \
+      pkgconf-pkg-config \
+      && \
+    dnf clean all
+
+RUN dnf install -y \
+      clang \
+      clang-devel \
+      clang-tools-extra \
+      clang-analyzer \
+      lcov \
+      valgrind \
+      && \
+    dnf clean all
+
+RUN git clone --depth 1 --branch v3.4.0 https://github.com/catchorg/Catch2.git /tmp/catch2 && \
+    cmake -S/tmp/catch2 -B/tmp/catch2/build \
+      -DBUILD_TESTING=OFF \
+      -DCATCH_INSTALL_DOCS=OFF \
+      && \
+    cmake --build /tmp/catch2/build/ --target install -j$(nproc) && \
+    rm -rf /tmp/catch2
+
+RUN echo "source /opt/rh/gcc-toolset-14/enable" >> /etc/bashrc

.devcontainer/devcontainer.json

@@ -0,0 +1,30 @@
+{
+  "name": "CUDD",
+  "build": {
+    "dockerfile": "Dockerfile"
+  },
+  "customizations": {
+    "vscode": {
+      "settings": {
+        "terminal.integrated.shell.linux": "/bin/bash",
+        "cmake.sourceDirectory": "${workspaceFolder}",
+        "cmake.buildDirectory": "/tmp/build",
+        "cmake.generator": "Ninja",
+        "cmake.configureArgs": [
+          "-DCUDD_BUILD_SHARED_LIBS=OFF",
+          "-DCUDD_BUILD_DDDMP=ON",
+          "-DCUDD_BUILD_TESTS=ON"
+        ],
+        "C_Cpp.default.compileCommands": [
+          "{$workspaceFolder}/compile_commands.json"
+        ]
+      },
+      "extensions": [
+        "EditorConfig.EditorConfig",
+        "ms-vscode.cpptools",
+        "ms-vscode.cmake-tools",
+        "redhat.vscode-yaml",
+      ]
+    }
+  }
+}

.editorconfig

@@ -0,0 +1,25 @@
+# EditorConfig is awesome: https://editorconfig.org
+
+# top-most EditorConfig file
+root = true
+
+# Unix-style newlines with a newline ending every file
+[*]
+end_of_line = lf
+insert_final_newline = true
+indent_style = space
+indent_size = 2
+
+# Matches multiple files with brace expansion notation
+# Set default charset
+[*.{js,py}]
+charset = utf-8
+
+# 4 space indentation
+[*.py]
+indent_style = space
+indent_size = 4
+
+# Tab indentation (no size specified)
+[Makefile]
+indent_style = tab

.github/workflows/test.yml

@@ -0,0 +1,36 @@
+name: Test
+
+on:
+  pull_request:
+    branches:
+      - main
+      - 4.0.0
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  cmake-test:
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y cmake ninja-build catch2
+
+      - name: Configure
+        run: |
+          cmake -S . -B /tmp/build \
+            -DCUDD_BUILD_WITH_STATS=ON \
+            -DCUDD_BUILD_TESTS=ON
+
+      - name: Build
+        run: cmake --build /tmp/build
+
+      - name: Test 
+        run: ctest --test-dir /tmp/build --output-on-failure

.github/workflows/test_cmake.yml

@@ -0,0 +1,54 @@
+name: CMake Build and Install
+
+on:
+  pull_request:
+    branches:
+      - main
+      - 4.0.0
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  cmake-test:
+    runs-on: ubuntu-24.04
+    strategy:
+      fail-fast: false
+      matrix:
+        cmake-version: 
+          - '3.18' # debian11
+          - '3.22' # ubuntu22.04
+          - '3.25' # debian12
+          - '3.26' # rhel8, rhel9
+          - '3.28' # ubuntu24.04, leap15.6
+          - '3.30' # rhel10
+          - '3.31' # debian13, leap16.0
+          - 'latest'
+        build-shared-libs: ['ON', 'OFF']
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Setup cmake
+        uses: jwlawson/actions-setup-cmake@v2
+        with:
+          cmake-version: ${{ matrix.cmake-version }}
+
+      - name: Configure
+        run: |
+          cmake -S . -B /tmp/build \
+            -DCUDD_BUILD_SHARED_LIBS=${{ matrix.build-shared-libs }}
+
+      - name: Build
+        run: cmake --build /tmp/build
+
+      - name: Install
+        run: sudo cmake --install /tmp/build
+
+      - name: Verify Installation
+        run: |
+          cmake -S extras/simple -B /tmp/simple
+          cmake --build /tmp/simple

.github/workflows/test_coverage.yml

@@ -0,0 +1,64 @@
+name: Code Coverage
+
+on:
+  pull_request:
+    branches:
+      - main
+      - 4.0.0
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  coverage:
+    runs-on: ubuntu-24.04
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y cmake ninja-build catch2 lcov
+
+      - name: Configure with coverage flags
+        run: |
+          cmake -S . -B /tmp/build \
+            -DCUDD_BUILD_SHARED_LIBS=OFF \
+            -DCUDD_BUILD_WITH_STATS=ON \
+            -DCUDD_BUILD_TESTS=ON \
+            -DCUDD_BUILD_COVERAGE=ON
+
+      - name: Build
+        run: cmake --build /tmp/build
+
+      - name: Capture test coverage data
+        run: cmake --build /tmp/build --target coverage
+
+      - name: Upload coverage to Coveralls
+        uses: coverallsapp/github-action@v2
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          file: /tmp/build/coverage.info
+          format: lcov
+
+      - name: Upload coverage HTML report
+        uses: actions/upload-artifact@v4
+        with:
+          name: coverage-report
+          path: /tmp/build/coverage_html/
+
+      - name: Summary
+        if: always()
+        run: |
+          echo "## Code Coverage Summary"
+          echo "- Build type: Debug with coverage flags"
+          if [ -f "/tmp/build/coverage.info" ]; then
+            echo "Coverage data generated successfully"
+            lcov --summary /tmp/build/coverage.info --ignore-errors unused
+          else
+            echo "Coverage data not available"
+          fi