Apply new repository layout

.devcontainer/Dockerfile

@@ -0,0 +1,23 @@
+FROM ghcr.io/almalinux/almalinux:8
+ARG TARGETARCH TARGETOS TARGETPLATFORM TARGETVARIANT
+
+RUN dnf install -y \
+      dnf-plugins-core \
+      dnf-plugin-config-manager \
+      && \
+    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 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_cmake.yml

@@ -39,7 +39,6 @@ jobs:
         run: |
           cmake -S . -B /tmp/build \
             -DCUDD_BUILD_WITH_STATS=ON \
-            -DCUDD_BUILD_DDDMP=ON \
             -DCUDD_BUILD_TESTS=ON \
             -DCUDD_BUILD_SHARED_LIBS=${{ matrix.build_shared_libs }}
 

.gitignore

@@ -16,7 +16,7 @@ compile_commands.json
 CMakeLists.txt.user
 Testing/
 
-# Compilation database (common typo fixed)
+# Compilation database
 compile_commands.json
 
 # OS or editor-specific files (optional, but recommended)