🚧 Low maintenance mode (#77)

This PR tries to reduce the maintenance burden that comes with this
project given the fact that it is currently no longer actively
developed.

.github/dependabot.yml

@@ -1,17 +1,5 @@
 version: 2
 updates:
-  - package-ecosystem: "gitsubmodule"
-    directory: "/"
-    groups:
-      submodules:
-        patterns:
-          - "*"
-    schedule:
-      interval: "monthly"
-      day: "friday"
-      time: "06:00"
-      timezone: "Europe/Vienna"
-
   - package-ecosystem: "github-actions"
     directory: "/"
     groups:
@@ -20,6 +8,3 @@ updates:
           - "*"
     schedule:
       interval: "monthly"
-      day: "friday"
-      time: "06:00"
-      timezone: "Europe/Vienna"

.github/workflows/ci.yml

@@ -14,13 +14,13 @@ concurrency:
 jobs:
   change-detection:
     name: 🔍 Change
-    uses: cda-tum/mqt-core/.github/workflows/reusable-change-detection.yml@main
+    uses: cda-tum/mqt-core/.github/workflows/reusable-change-detection.yml@v2.0.2
 
   cpp-tests:
     name: 🇨‌ Test
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cpp-tests)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-ci.yml@main
+    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-ci.yml@v2.0.2
     secrets:
       token: ${{ secrets.CODECOV_TOKEN }}
     with:
@@ -30,7 +30,7 @@ jobs:
     name: 📝 CodeQL
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-code-ql)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-code-ql.yml@main
+    uses: cda-tum/mqt-core/.github/workflows/reusable-code-ql.yml@v2.0.2
     with:
       setup-z3: true
       enable-python: false

.gitmodules

@@ -6,5 +6,5 @@
 [submodule "extern/googletest"]
 	path = extern/googletest
 	url = https://github.com/google/googletest.git
-	branch = main
+	branch = v1.14.x
 	shallow = true

.pre-commit-config.yaml

@@ -10,11 +10,12 @@
 ci:
   autoupdate_commit_msg: "⬆️🪝 update pre-commit hooks"
   autofix_commit_msg: "🎨 pre-commit fixes"
+  autoupdate_schedule: quarterly
 
 repos:
   # Standard hooks
   - repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: "v4.5.0"
+    rev: v4.5.0
     hooks:
       - id: check-added-large-files
       - id: check-case-conflict
@@ -29,29 +30,29 @@ repos:
 
   # Handling unwanted unicode characters
   - repo: https://github.com/sirosen/texthooks
-    rev: "0.6.3"
+    rev: 0.6.3
     hooks:
       - id: fix-ligatures
       - id: fix-smartquotes
 
   # Check for common mistakes
   - repo: https://github.com/pre-commit/pygrep-hooks
-    rev: "v1.10.0"
+    rev: v1.10.0
     hooks:
       - id: rst-backticks
       - id: rst-directive-colons
       - id: rst-inline-touching-normal
 
   # Check for spelling
   - repo: https://github.com/codespell-project/codespell
-    rev: "v2.2.6"
+    rev: v2.2.6
     hooks:
       - id: codespell
         args: ["-L", "wille,linz", "--skip", "*.ipynb"]
 
   # Clang-format the C++ part of the code base automatically
   - repo: https://github.com/pre-commit/mirrors-clang-format
-    rev: "v17.0.6"
+    rev: v17.0.6
     hooks:
       - id: clang-format
         types_or: [c++, c, cuda]
@@ -67,7 +68,7 @@ repos:
 
   # Format configuration files with prettier
   - repo: https://github.com/pre-commit/mirrors-prettier
-    rev: "v4.0.0-alpha.4"
+    rev: v4.0.0-alpha.4
     hooks:
       - id: prettier
         types_or: [yaml, markdown, html, css, scss, javascript, json]

README.md

@@ -3,6 +3,9 @@
 [![CI](https://img.shields.io/github/actions/workflow/status/cda-tum/LogicBlocks/ci.yml?branch=main&style=flat-square&logo=github&label=c%2B%2B)](https://github.com/cda-tum/LogicBlocks/actions/workflows/ci.yml)
 [![codecov](https://img.shields.io/codecov/c/github/cda-tum/LogicBlocks?style=flat-square&logo=codecov)](https://codecov.io/gh/cda-tum/LogicBlocks)
 
+> [!NOTE]
+> This project is currently in low maintenance mode. We will still fix bugs and accept pull requests, but we will not actively develop new features.
+
 # LogicBlocks - A Interface Library for SAT/SMT Abstractions written in C++
 
 A interface library for the abstraction of several methods of interaction with SAT/SMT Solvers developed by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/).