Move implementation to Domains

bclement-ocp · Aug 2, 2024 · 2c641c9 · 2c641c9
1 parent 0d709a2
commit 2c641c9
Show file tree

Hide file tree

Showing 5 changed files with 612 additions and 561 deletions.
diff --git a/src/lib/dune b/src/lib/dune
@@ -52,7 +52,7 @@
     Instances IntervalCalculus Intervals_intf Intervals_core Intervals
     Ite_rel Matching Matching_types Polynome Records Records_rel
     Satml_frontend_hybrid Satml_frontend Satml Sat_solver Sat_solver_sig
-    Sig Sig_rel Theory Uf Use Domains_intf Rel_utils Bitlist
+    Sig Sig_rel Theory Uf Use Domains Domains_intf Rel_utils Bitlist
     ; structures
     Commands Errors Explanation Fpa_rounding
     Parsed Profiling Satml_types Symbols

diff --git a/src/lib/reasoners/bitv_rel.ml b/src/lib/reasoners/bitv_rel.ml
@@ -508,7 +508,7 @@ module EC = ExplainedOrdered(struct
   end)
 
 module Interval_domains =
-  Rel_utils.Domains_make
+  Domains.Make
     (BitvNormalForm)
     (Interval_domain)
     (EC)
@@ -559,7 +559,7 @@ module Bitlist_domain = struct
 end
 
 module Bitlist_domains =
-  Rel_utils.Domains_make
+  Domains.Make
     (BitvNormalForm)
     (Bitlist_domain)
     (EC)