Merge branch 'main' into abc-callback

Signed-off-by: Marcel Walter <marcel.walter@tum.de>
cda-tum · Dec 12, 2024 · 921757b · 921757b
2 parents 8513343 + a363f8a
commit 921757b
Show file tree

Hide file tree

Showing 104 changed files with 2,174 additions and 1,636 deletions.
diff --git a/.clang-format b/.clang-format
@@ -59,7 +59,7 @@ IncludeCategories:
     Priority: 4
   - Regex: '<z3[a-zA-Z0-9_\+]+.+>$'
     Priority: 5
-  - Regex: '<[a-zA-Z0-9_]+>$'
+  - Regex: "<[a-zA-Z0-9_]+>$"
     Priority: 6
 IndentCaseLabels: true
 IndentWidth: 4
@@ -85,5 +85,3 @@ SpacesInSquareBrackets: false
 Standard: c++17
 UseTab: Never
 LineEnding: LF
-
-...
diff --git a/.github/ISSUE_TEMPLATE/bug-report.yml b/.github/ISSUE_TEMPLATE/bug-report.yml
@@ -1,7 +1,7 @@
 name: 🐛 Bug report
 description: Something is not working correctly.
 title: "🐛 <title>"
-labels: [ "bug" ]
+labels: ["bug"]
 assignees:
   - marcelwa
 body:

diff --git a/.github/ISSUE_TEMPLATE/feature-request.yml b/.github/ISSUE_TEMPLATE/feature-request.yml
@@ -1,7 +1,7 @@
 name: ✨ Feature request
 description: Suggest an idea
 title: "✨ <title>"
-labels: [ "enhancement" ]
+labels: ["enhancement"]
 assignees:
   - marcelwa
 body:

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
diff --git a/.github/renovate.json5 b/.github/renovate.json5
@@ -0,0 +1,99 @@
+{
+  $schema: "https://docs.renovatebot.com/renovate-schema.json",
+  extends: [
+    "config:recommended",
+    ":gitSignOff"
+  ],
+  prHourlyLimit: 10,
+  enabledManagers: [
+    "git-submodules",
+    "github-actions",
+    "pre-commit",
+    "pep621",
+    "pip_requirements",
+    "dockerfile",
+  ],
+  "pre-commit": {
+    enabled: true
+  },
+  lockFileMaintenance: {
+    "enabled": true
+    // "automerge": true, disabled due to endless update loops caused by setuptools_scm
+  },
+  configMigration: true,
+  schedule: [
+    "every weekend"
+  ],
+  packageRules: [
+    {
+      matchManagers: [
+        "git-submodules"
+      ],
+      addLabels: [
+        "dependencies",
+        "submodules"
+      ],
+      commitMessagePrefix: "⬆\uFE0F\uD83D\uDC68\u200D\uD83D\uDCBB",
+      "groupName": "Submodules",
+    },
+    {
+      matchManagers: [
+        "github-actions"
+      ],
+      addLabels: [
+        "github_actions"
+      ],
+      commitMessagePrefix: "⬆\uFE0F\uD83D\uDC68\u200D\uD83D\uDCBB",
+      "groupName": "GitHub Actions",
+    },
+    {
+      matchManagers: [
+        "pre-commit"
+      ],
+      addLabels: [
+        "pre-commit"
+      ],
+      commitMessagePrefix: "⬆\uFE0F\uD83E\uDE9D",
+      "groupName": "Pre-Commit Hooks",
+    },
+    {
+      matchManagers: [
+        "pep621"
+      ],
+      addLabels: [
+        "dependencies",
+        "python"
+      ],
+      commitMessagePrefix: "⬆\uFE0F\uD83D\uDC0D",
+      "groupName": "Python Dependencies",
+    },
+    {
+      matchManagers: [
+        "pip_requirements"
+      ],
+      addLabels: [
+        "dependencies",
+        "python"
+      ],
+      commitMessagePrefix: "⬆\uFE0F\uD83D\uDC0D",
+      "groupName": "Python Dependencies",
+    },
+    {
+      matchManagers: [
+        "dockerfile"
+      ],
+      addLabels: [
+        "docker"
+      ],
+      commitMessagePrefix: "⬆\uD83D\uDC0B",
+      "groupName": "Dockerfile",
+    },
+    {
+      "description": "Automerge patch updates",
+      "matchUpdateTypes": [
+        "patch"
+      ],
+      "automerge": true
+    }
+  ]
+}
diff --git a/.github/workflows/clang-tidy-review-post.yml b/.github/workflows/clang-tidy-review-post.yml
@@ -2,7 +2,7 @@ name: 🚨 • Post Clang-Tidy Review
 
 on:
   workflow_run:
-    workflows: [ 'Clang-Tidy Review' ]
+    workflows: ["Clang-Tidy Review"]
     types:
       - completed
 

diff --git a/.github/workflows/clang-tidy-review.yml b/.github/workflows/clang-tidy-review.yml
@@ -3,11 +3,11 @@ name: Clang-Tidy Review
 on:
   pull_request:
     paths:
-      - '**/*.hpp'
-      - '**/*.cpp'
-      - 'libs/**'
-      - '.github/workflows/clang-tidy-review.yml'
-      - '!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp'
+      - "**/*.hpp"
+      - "**/*.cpp"
+      - "libs/**"
+      - ".github/workflows/clang-tidy-review.yml"
+      - "!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
@@ -37,16 +37,16 @@ jobs:
             -DFICTION_EXPERIMENTS=ON
             -DMOCKTURTLE_EXAMPLES=OFF
           build_dir: build
-          apt_packages: 'libreadline-dev,libtbb-dev'
-          config_file: '.clang-tidy'
-          exclude: 'libs/*,docs/*,benchmarks/*,bib/*,*/pyfiction/pybind11_mkdoc_docstrings.hpp,*/pyfiction/documentation.hpp'
+          apt_packages: "libreadline-dev,libtbb-dev"
+          config_file: ".clang-tidy"
+          exclude: "libs/*,docs/*,benchmarks/*,bib/*,*/pyfiction/pybind11_mkdoc_docstrings.hpp,*/pyfiction/documentation.hpp"
           split_workflow: true
 
       - name: Make sure that the review file exists
         id: check-review-output
         uses: andstor/file-existence-action@v3.0.0
         with:
-          files: 'clang-tidy-review-output.json'
+          files: "clang-tidy-review-output.json"
           ignore_case: true
 
       - name: Upload review artifact

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
@@ -2,30 +2,30 @@ name: 📝 • CodeQL
 
 on:
   push:
-    branches: [ 'main' ]
+    branches: ["main"]
     paths:
-      - '**/*.hpp'
-      - '**/*.cpp'
-      - '**/*.cmake'
-      - '**/CMakeLists.txt'
-      - '**/*.py'
-      - 'libs/**'
-      - '.github/workflows/codeql-analysis.yml'
-      - '!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp'
+      - "**/*.hpp"
+      - "**/*.cpp"
+      - "**/*.cmake"
+      - "**/CMakeLists.txt"
+      - "**/*.py"
+      - "libs/**"
+      - ".github/workflows/codeql-analysis.yml"
+      - "!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp"
   pull_request:
-    branches: [ 'main' ]
+    branches: ["main"]
     paths:
-      - '**/*.hpp'
-      - '**/*.cpp'
-      - '**/*.cmake'
-      - '**/CMakeLists.txt'
-      - '**/*.py'
-      - 'libs/**'
-      - '.github/workflows/codeql-analysis.yml'
-      - '!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp'
+      - "**/*.hpp"
+      - "**/*.cpp"
+      - "**/*.cmake"
+      - "**/CMakeLists.txt"
+      - "**/*.py"
+      - "libs/**"
+      - ".github/workflows/codeql-analysis.yml"
+      - "!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp"
   merge_group:
   schedule:
-    - cron: '30 5 * * 6'
+    - cron: "30 5 * * 6"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
@@ -46,9 +46,9 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        language: [ 'cpp', 'python' ]
-        compiler: [ clang++-17 ]
-        build_type: [ Debug ]
+        language: ["cpp", "python"]
+        compiler: [clang++-17]
+        build_type: [Debug]
 
     steps:
       - name: Free Disk Space (Ubuntu)
@@ -74,16 +74,16 @@ jobs:
       - name: Setup ccache
         uses: hendrikmuhs/ccache-action@v1.2
         with:
-          key: '${{matrix.os}}-${{matrix.compiler}}'
+          key: "${{matrix.os}}-${{matrix.compiler}}"
           variant: ccache
           save: true
           max-size: 10G
 
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.13.x'
-          cache: 'pip'
+          python-version: "3.13.x"
+          cache: "pip"
 
       - name: Setup mold
         uses: rui314/setup-mold@v1

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -2,25 +2,25 @@ name: ☂️ • Coverage
 
 on:
   push:
-    branches: [ 'main' ]
+    branches: ["main"]
     paths:
-      - '**/*.hpp'
-      - '**/*.cpp'
-      - '**/*.cmake'
-      - '**/CMakeLists.txt'
-      - 'libs/**'
-      - '.github/workflows/coverage.yml'
-      - '!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp'
+      - "**/*.hpp"
+      - "**/*.cpp"
+      - "**/*.cmake"
+      - "**/CMakeLists.txt"
+      - "libs/**"
+      - ".github/workflows/coverage.yml"
+      - "!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp"
   pull_request:
-    branches: [ 'main' ]
+    branches: ["main"]
     paths:
-      - '**/*.hpp'
-      - '**/*.cpp'
-      - '**/*.cmake'
-      - '**/CMakeLists.txt'
-      - 'libs/**'
-      - '.github/workflows/coverage.yml'
-      - '!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp'
+      - "**/*.hpp"
+      - "**/*.cpp"
+      - "**/*.cmake"
+      - "**/CMakeLists.txt"
+      - "libs/**"
+      - ".github/workflows/coverage.yml"
+      - "!bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp"
   merge_group:
 
 concurrency:
@@ -39,8 +39,8 @@ jobs:
   build_and_test:
     strategy:
       matrix:
-        os: [ ubuntu-22.04 ]
-        compiler: [ g++-11 ]
+        os: [ubuntu-22.04]
+        compiler: [g++-11]
 
     name: Coverage on ${{matrix.os}} with ${{matrix.compiler}}
     runs-on: ${{matrix.os}}
@@ -57,16 +57,16 @@ jobs:
       - name: Setup ccache
         uses: hendrikmuhs/ccache-action@v1.2
         with:
-          key: '${{matrix.os}}-${{matrix.compiler}}'
+          key: "${{matrix.os}}-${{matrix.compiler}}"
           variant: ccache
           save: true
           max-size: 10G
 
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.13.x'
-          cache: 'pip'
+          python-version: "3.13.x"
+          cache: "pip"
 
       - name: Setup mold
         uses: rui314/setup-mold@v1