Move some modules from goblint_lib to goblint_common

Author: sim642

src/cdomains/floatOps/floatOps.ml renamed to src/common/cdomains/floatOps/floatOps.ml

@@ -16,6 +16,7 @@ CfgTools
 {2 Specification}
 {!modules:
 AnalysisState
+AnalysisStateUtil
 ControlSpecC
 }
 
@@ -42,6 +43,7 @@ Messages
 
 {2 General}
 {!modules:
+IntOps
 LazyEval
 ResettableLazy
 MessageUtil
@@ -55,6 +57,11 @@ Cilfacade
 RichVarinfo
 }
 
+{2 Analysis-specific}
+{!modules:
+ContextUtil
+}
+
 
 {1 Library extensions}
 

src/cdomains/floatOps/floatOps.mli renamed to src/common/cdomains/floatOps/floatOps.mli

@@ -16,6 +16,8 @@
    goblint_timing
    qcheck-core.runner)
  (flags :standard -open Goblint_std)
+ (foreign_stubs (language c) (names stubs))
+ (ocamlopt_flags :standard -no-float-const-prop)
  (preprocess
   (pps
     ppx_deriving.std

src/cdomains/floatOps/stubs.c renamed to src/common/cdomains/floatOps/stubs.c

@@ -61,7 +61,6 @@
     )
   )
   (flags :standard -open Goblint_std)
-  (foreign_stubs (language c) (names stubs))
   (ocamlopt_flags :standard -no-float-const-prop)
   (preprocess
     (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_blob))