Build:
- 0
2026-06-24 11:06.03: New job: build cubicle.1.1.2 (a4f55da5e533) 2026-06-24 11:06.03: Waiting for resource in pool day11-builds 2026-06-24 11:19.10: Got resource from pool day11-builds 2026-06-24 11:19.10: [profile full] build cubicle.1.1.2 2026-06-24 11:19.10: build cubicle.1.1.2 (a4f55da5e533) === DEPENDENCIES (5 transitive) === num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 ocamlfind.1.9.8 214dd418ac02 === STDOUT === Processing: [default: loading data] [cubicle.1.1.2: dl] [cubicle.1.1.2: extract] [cubicle.1.1.2/cubicle.install: dl] -> retrieved cubicle.1.1.2 (https://opam.ocaml.org/cache) [cubicle: ./configure] + /home/opam/.opam/default/.opam-switch/build/cubicle.1.1.2/./configure "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/cubicle.1.1.2) - checking for ocamlc.opt... ocamlc.opt - OCaml version is 4.14.4 - checking for gawk... no - checking for mawk... mawk - OCaml library path is /home/opam/.opam/default/lib/ocaml - checking for ocamlfind... yes - checking for ocamlopt.opt... ocamlopt.opt - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamlyacc... ocamlyacc - ocamlfind: Package `functory' not found - checking for /home/opam/.opam/default/lib/ocaml/functory/functory.cma... no - Cannot find functory library. - Compiling without support for Z3. - checking platform... Unix platform - configure: creating ./config.status - config.status: creating Makefile [cubicle: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/cubicle.1.1.2) - fatal: not a git repository (or any of the parent directories): .git - Compiling parser.mly - Compiling lexer.mll - Compiling muparser.mly - Compiling mulexer.mll - Compiling version.cmx - Compiling options.cmi - Compiling options.cmx - Compiling common/timer.cmi - Compiling common/timer.cmx - Compiling common/hashcons.cmi - Compiling common/hashcons.cmx - Compiling common/hstring.cmi - Compiling common/hstring.cmx - Compiling common/vec.cmi - Compiling common/vec.cmx - Compiling common/heap.cmi - Compiling common/heap.cmx - Compiling common/iheap.cmi - Compiling common/iheap.cmx - Compiling smt/ty.cmi - Compiling smt/ty.cmx - File "smt/ty.ml", line 52, characters 16-34: - 52 | | t1, t2 -> Pervasives.compare t1 t2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/symbols.cmi - Compiling smt/symbols.cmx - File "smt/symbols.ml", line 63, characters 10-28: - 63 | | _ -> Pervasives.compare s1 s2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/term.cmi - Compiling smt/term.cmx - File "smt/term.ml", line 57, characters 10-28: - 57 | let c = Pervasives.compare t2.tag t1.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/literal.cmi - Compiling smt/literal.cmx - File "smt/literal.ml", line 93, characters 22-40: - 93 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/solver_types.cmi - Compiling smt/solver_types.cmx - Compiling smt/explanation.cmi - Compiling smt/explanation.cmx - Compiling smt/exception.cmi - Compiling smt/exception.cmx - Compiling smt/polynome.cmi - Compiling smt/polynome.cmx - Compiling smt/sig.cmi - Compiling smt/uf.cmi - Compiling smt/uf.cmx - Compiling smt/use.cmi - Compiling smt/use.cmx - Compiling smt/intervals.cmi - Compiling smt/intervals.cmx - Compiling smt/fm.cmi - Compiling smt/fm.cmx - File "smt/fm.ml", line 324, characters 1-24: - 324 | Intervals.new_borne_sup expl b is_le uints - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 326, characters 1-24: - 326 | Intervals.new_borne_inf expl b is_le uints in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 344, characters 10-33: - 344 | Intervals.new_borne_inf expl c is_le (Intervals.undefined ty) - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 346, characters 3-26: - 346 | Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - Compiling smt/arith.cmi - Compiling smt/arith.cmx - Compiling smt/sum.cmi - Compiling smt/sum.cmx - Compiling smt/combine.cmi - Compiling smt/combine.cmx - File "smt/combine.ml", line 64, characters 4-22: - 64 | Pervasives.compare (theory_num a) (theory_num b) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/cc.cmi - Compiling smt/cc.cmx - Compiling smt/solver.cmi - Compiling smt/solver.cmx - Compiling smt/enumsolver_types.cmi - Compiling smt/enumsolver_types.cmx - Compiling smt/enumsolver.cmi - Compiling smt/enumsolver.cmx - Compiling smt/smt_sig.cmi - Compiling smt/alt_ergo.cmi - Compiling smt/alt_ergo.cmx - File "smt/alt_ergo.ml", line 503, characters 6-20: - 503 | CSolver.assume uc 0; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - File "smt/alt_ergo.ml", line 524, characters 48-66: - 524 | Set.Make (struct type t = int let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "smt/alt_ergo.ml", line 538, characters 6-20: - 538 | CSolver.assume cnf id; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - Compiling smt/z3wrapper.cmi - Compiling smt/z3wrapper.cmx - Compiling smt/smt.cmi - Compiling smt/smt.cmx - Compiling util.cmi - Compiling util.cmx - Compiling variable.cmi - Compiling variable.cmx - Compiling types.cmi - Compiling types.cmx - File "types.ml", line 67, characters 10-28: - 67 | let c = Pervasives.compare s1 s2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 100, characters 39-57: - 100 | let compare_constants = MConst.compare Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 310, characters 14-32: - 310 | let c0 = Pervasives.compare op1 op2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 562, characters 4-22: - 562 | Pervasives.compare (nb_diff p1 a) (nb_diff p2 a) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 583, characters 4-22: - 583 | Pervasives.compare (nb_common p2 a) (nb_common p1 a) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling cube.cmi - Compiling cube.cmx - Compiling ast.cmi - Compiling node.cmi - Compiling node.cmx - File "node.ml", line 41, characters 14-32: - 41 | | k1, k2 -> Pervasives.compare k1 k2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 46, characters 10-28: - 46 | let c = Pervasives.compare v1 v2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 50, characters 12-30: - 50 | let c = Pervasives.compare c1 c2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 54, characters 16-34: - 54 | let c = Pervasives.compare s1.depth s2.depth in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 56, characters 10-28: - 56 | Pervasives.compare (abs s1.tag) (abs s2.tag) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 61, characters 10-28: - 61 | let c = Pervasives.compare v1 v2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 65, characters 12-30: - 65 | let c = Pervasives.compare c1 c2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 69, characters 16-34: - 69 | let c = Pervasives.compare s2.depth s1.depth in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 71, characters 10-28: - 71 | Pervasives.compare (abs s1.tag) (abs s2.tag) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling pretty.cmi - Compiling pretty.cmx - File "pretty.ml", line 233, characters 15-52: - 233 | let old_fs = Format.pp_get_formatter_tag_functions formatter () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "pretty.ml", line 234, characters 2-39: - 234 | Format.pp_set_formatter_tag_functions formatter - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - Compiling ptree.cmi - Compiling ptree.cmx - Compiling parser.cmi - Compiling parser.cmx - Compiling lexer.cmx - Compiling instantiation.cmi - Compiling instantiation.cmx - Compiling dot.cmi - Compiling dot.cmx - Compiling cubetrie.cmi - Compiling cubetrie.cmx - Compiling prover.cmi - Compiling prover.cmx - Compiling safety.cmi - Compiling safety.cmx - Compiling fixpoint.cmi - Compiling fixpoint.cmx - Compiling pre.cmi - Compiling pre.cmx - Compiling forward.cmi - Compiling forward.cmx - File "forward.ml", line 21, characters 5-15: - 21 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling oracle.cmi - Compiling enumerative.cmi - Compiling enumerative.cmx - File "enumerative.ml", line 40, characters 18-36: - 40 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "enumerative.ml", line 45, characters 18-36: - 45 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "enumerative.ml", line 1187, characters 22-33: - 1187 | List.iter (fun s -> Obj.set_tag (Obj.repr s) (Obj.no_scan_tag)) env.states - ^^^^^^^^^^^ - Alert deprecated: Stdlib.Obj.set_tag - Use with_tag instead. - File "enumerative.ml", line 1446, characters 33-51: - 1446 | let compare (t,_) (t',_) = Pervasives.compare t t' - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling muparser_globals.cmi - Compiling muparser_globals.cmx - Compiling muparser.cmi - Compiling muparser.cmx - Compiling mulexer.cmx - Compiling murphi.cmi - Compiling murphi.cmx - Compiling approx.cmi - Compiling approx.cmx - File "approx.ml", line 286, characters 15-33: - 286 | let c = Pervasives.compare (Node.dim s1) (Node.dim s2) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 289, characters 13-31: - 289 | let c = Pervasives.compare (Node.size s1) (Node.size s2) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 292, characters 17-35: - 292 | let c = Pervasives.compare (nb_neq s2) (nb_neq s1) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 295, characters 11-29: - 295 | Pervasives.compare (nb_arrays s1) (nb_arrays s2) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling stats.cmi - Compiling stats.cmx - Compiling bwd.cmi - Compiling bwd.cmx - Compiling brab.cmi - Compiling brab.cmx - Compiling typing.cmi - Compiling typing.cmx - File "typing.ml", line 21, characters 5-15: - 21 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling trace.cmi - Compiling trace.cmx - File "trace.ml", line 545, characters 53-71: - 545 | module CompInt = struct type t = int let compare = Pervasives.compare end - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 549, characters 24-42: - 549 | let compare n1 n2 = Pervasives.compare n1.tag n2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1361, characters 53-71: - 1361 | module CompInt = struct type t = int let compare = Pervasives.compare end - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1365, characters 24-42: - 1365 | let compare n1 n2 = Pervasives.compare n1.tag n2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1373, characters 14-32: - 1373 | let c = Pervasives.compare n1.tag n2.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1374, characters 20-38: - 1374 | if c = 0 then Pervasives.compare s1 s2 else c - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling main.cmx - Linking cubicle.opt -> compiled cubicle.1.1.2 -> installed cubicle.1.1.2 === STDERR === 2026-06-24 11:19.32: OK: build cubicle.1.1.2 (runc: 12.2s, disk: 23KB) 2026-06-24 11:19.32: Job succeeded