Merge branch 'master' of https://github.com/CopperCableIsolator/gobli…

…nt-sparsification
goblint · Nov 28, 2024 · e556c41 · e556c41
2 parents 702f258 + cb62292
commit e556c41
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/src/cdomains/affineEquality/arrayImplementation/arrayMatrix.ml b/src/cdomains/affineEquality/arrayImplementation/arrayMatrix.ml
@@ -355,4 +355,7 @@ module ArrayMatrix: AbstractMatrix =
       map2i_with f m' v;
       m'
 
+    let swap_rows m j k =
+      failwith "TODO"
+
   end
diff --git a/src/cdomains/affineEquality/matrix.ml b/src/cdomains/affineEquality/matrix.ml
@@ -71,4 +71,6 @@ sig
 
   val copy: t -> t
 
+  val swap_rows: t -> int -> int -> t
+
 end
diff --git a/...lity/sparseImplementation/sparseMatrix.ml → ...uality/sparseImplementation/listMatrix.ml b/...lity/sparseImplementation/sparseMatrix.ml → ...uality/sparseImplementation/listMatrix.ml
Original file line number	Diff line number	Diff line change
Expand Up		@@ -71,4 +71,6 @@ sig

		val copy: t -> t

		val swap_rows: t -> int -> int -> t

		end