format

Makefile

@@ -27,6 +27,12 @@ clean:
 test:
 	@dune runtest $(OPTS) --force --no-buffer
 
+format:
+	@dune build @fmt --auto-promote
+
+format-check:
+	@dune build @fmt --quiet
+
 test-promote:
 	@dune runtest $(OPTS) --force --no-buffer --auto-promote
 

src/algos/simplex/tests/test_simplex.real.ml

@@ -124,8 +124,8 @@ module Step = struct
                  | [] -> []
                  | vs ->
                    let gen =
-                     let+ x = oneofl vs
-                     and+ kind = oneofl [ `Leq; `Lt; `Geq; `Gt ]
+                     let+ x = oneof_list vs
+                     and+ kind = oneof_list [ `Leq; `Lt; `Geq; `Gt ]
                      and+ n = rand_q.QC.gen in
                      ( vars,
                        match kind with
@@ -145,11 +145,11 @@ module Step = struct
                  (if List.length vars > 2 then (
                    let v = List.length vars in
                    let gen =
-                     let* vars' = G.shuffle_l vars in
+                     let* vars' = shuffle_list vars in
                      let* n = 1 -- min 12 (List.length vars') in
                      let vars' = CCList.take n vars' in
                      assert (List.length vars' = n);
-                     let* coeffs = list_repeat n rand_q.gen in
+                     let* coeffs = list_size (return n) rand_q.gen in
                      let le = List.combine coeffs vars' in
                      return (v :: vars, S_define (v, le))
                    in

src/bin-lib/dune

@@ -2,8 +2,12 @@
  (name sidekick_bin_lib)
  (public_name sidekick-bin.lib)
  (synopsis "Utils for the sidekick binaries")
- (libraries containers sidekick.util
-            (select trace_setup.ml from
+ (libraries
+  containers
+  sidekick.util
+  (select
+   trace_setup.ml
+   from
    (trace-fuchsia -> trace_setup.fuchsia.ml)
    (trace-tef -> trace_setup.tef.ml)
    (-> trace_setup.dummy.ml)))

src/checker/dune

@@ -2,6 +2,5 @@
  (name main)
  (public_name sidekick-checker)
  (package sidekick-bin)
- (libraries containers sidekick-bin.lib sidekick.util
-   sidekick.drup)
+ (libraries containers sidekick-bin.lib sidekick.util sidekick.drup)
  (flags :standard -warn-error -a+8 -open Sidekick_util))

src/main/dune

@@ -7,8 +7,8 @@
  (modules main pure_sat_solver)
  (modes native)
  (libraries containers iter result sidekick.sat sidekick.core sidekick-base
-   sidekick.smt-solver sidekick-base.smtlib sidekick.drup
-   sidekick.memtrace sidekick-bin.lib)
+   sidekick.smt-solver sidekick-base.smtlib sidekick.drup sidekick.memtrace
+   sidekick-bin.lib)
  (flags :standard -safe-string -color always -open Sidekick_util))
 
 (executable

src/main/show_trace.ml

@@ -10,7 +10,7 @@ type state = {
   p_reader: Proof.Trace_reader.t;
 }
 
-let show_sat (self : state) ~tag v : unit =
+let show_sat (_self : state) ~tag v : unit =
   match tag with
   | "AssCSat" ->
     (match

src/sat/solver.ml

@@ -13,7 +13,7 @@ module Atom = Store.Atom
 module Var = Store.Var
 module Clause = Store.Clause
 
-module H = Heap.Make [@specialise] (struct
+module H = Heap.Make (struct
   type store = Store.t
   type t = var