Move general domains to goblint_domain library

goblint · Dec 6, 2023 · 5937314 · 5937314
1 parent 19bcd3a
commit 5937314
Show file tree

Hide file tree

Showing 9 changed files with 12 additions and 0 deletions.
diff --git a/src/domains/boolDomain.ml → src/domain/boolDomain.ml b/src/domains/boolDomain.ml → src/domain/boolDomain.ml
diff --git a/src/domains/disjointDomain.ml → src/domain/disjointDomain.ml b/src/domains/disjointDomain.ml → src/domain/disjointDomain.ml
diff --git a/src/domain/domain.mld b/src/domain/domain.mld
@@ -7,3 +7,15 @@ For better context, see {!Goblint_lib} which also documents these modules.
 {!modules:
 Lattice
 }
+
+{2 General}
+{!modules:
+BoolDomain
+SetDomain
+MapDomain
+TrieDomain
+DisjointDomain
+HoareDomain
+PartitionDomain
+FlagHelper
+}
diff --git a/src/domains/flagHelper.ml → src/domain/flagHelper.ml b/src/domains/flagHelper.ml → src/domain/flagHelper.ml
diff --git a/src/domains/hoareDomain.ml → src/domain/hoareDomain.ml b/src/domains/hoareDomain.ml → src/domain/hoareDomain.ml
diff --git a/src/domains/mapDomain.ml → src/domain/mapDomain.ml b/src/domains/mapDomain.ml → src/domain/mapDomain.ml
diff --git a/src/domains/partitionDomain.ml → src/domain/partitionDomain.ml b/src/domains/partitionDomain.ml → src/domain/partitionDomain.ml
diff --git a/src/domains/setDomain.ml → src/domain/setDomain.ml b/src/domains/setDomain.ml → src/domain/setDomain.ml
diff --git a/src/domains/trieDomain.ml → src/domain/trieDomain.ml b/src/domains/trieDomain.ml → src/domain/trieDomain.ml