From c078eaa015ef54bf70b4d0598dea46ef1675c70e Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 28 Jun 2024 12:19:19 +0300
Subject: [PATCH] Add package tags

---
 dune-project        | 8 ++++++++
 goblint.opam        | 9 +++++++++
 goblint.opam.locked | 9 +++++++++
 3 files changed, 26 insertions(+)

diff --git a/dune-project b/dune-project
index f07ccf4236..8d9d53623b 100644
--- a/dune-project
+++ b/dune-project
@@ -27,6 +27,14 @@ Goblint is a sound static analysis framework for C programs using abstract inter
 It specializes in thread-modular verification of multi-threaded programs, especially regarding data races.
 Goblint includes analyses for assertions, overflows, deadlocks, etc and can be extended with new analyses.
 ")
+  (tags (
+    "program analysis"
+    "program verification"
+    "static analysis"
+    "abstract interpretation"
+    "C"
+    "data race analysis"
+    "concurrency"))
   (depends
     (ocaml (>= 4.14))
     (goblint-cil (>= 2.0.3)) ; TODO no way to define as pin-depends? Used goblint.opam.template to add it for now. https://github.com/ocaml/dune/issues/3231. Alternatively, removing this line and adding cil as a git submodule and `(vendored_dirs cil)` as ./dune also works. This way, no more need to reinstall the pinned cil opam package on changes. However, then cil is cleaned and has to be rebuild together with goblint.
diff --git a/goblint.opam b/goblint.opam
index eec74439a0..e198bf6f3c 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -22,6 +22,15 @@ authors: [
   "Vesal Vojdani"
 ]
 license: "MIT"
+tags: [
+  "program analysis"
+  "program verification"
+  "static analysis"
+  "abstract interpretation"
+  "C"
+  "data race analysis"
+  "concurrency"
+]
 homepage: "https://goblint.in.tum.de"
 doc: "https://goblint.readthedocs.io/en/latest/"
 bug-reports: "https://github.com/goblint/analyzer/issues"
diff --git a/goblint.opam.locked b/goblint.opam.locked
index 90bfba68f0..b1d8030c1c 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -147,3 +147,12 @@ description: """\
 Goblint is a sound static analysis framework for C programs using abstract interpretation.
 It specializes in thread-modular verification of multi-threaded programs, especially regarding data races.
 Goblint includes analyses for assertions, overflows, deadlocks, etc and can be extended with new analyses."""
+tags: [
+  "program analysis"
+  "program verification"
+  "static analysis"
+  "abstract interpretation"
+  "C"
+  "data race analysis"
+  "concurrency"
+]