Build Log: frama_c_codex.1.0-rc4

digraph opam { "alt-ergo-free.2.2.0" -> {"camlzip.1.13" "conf-autoconf.0.2" "menhir.20211128" "num.1.6" "ocaml.4.14.2" "ocplib-simplex.0.4.1" "psmt2-frontend.0.1" "zarith.1.14"} "astring.0.8.5" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "base.v0.16.4" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"} "base64.3.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "bheap.2.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"} "cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2"} "camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.4.14.2"} "camlzip.1.13" -> {"conf-zlib.1" "ocaml.4.14.2" "ocamlfind.1.9.8"} "cmdliner.2.1.0" -> "ocaml.4.14.2"; "codex.1.0-rc4" -> {"base64.3.5.2" "bheap.2.0.0" "camlp-streams.5.0.1" "cudd.0.1.3" "dune.3.20.2" "fmt.0.11.0" "js_of_ocaml.6.2.0" "pacomb.1.3" "patricia-tree.0.11.0" "ppx_deriving.6.0.3" "ppx_inline_test.v0.16.1" "ppxlib.0.35.0" "qcheck-core.0.27" "zarith.1.14"} "conf-cairo.1" -> "conf-pkg-config.4"; "conf-gtk3.18" -> "conf-pkg-config.4"; "conf-gtksourceview3.0+2" -> "conf-pkg-config.4"; "conf-zlib.1" -> "conf-pkg-config.4"; "cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.14.2"} "csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.4.14.2"} "cudd.0.1.3" -> "dune.3.20.2"; "dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"} "dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"} "dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "pp.2.0.0" "stdune.3.20.2"} "dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"} "dyn.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"} "fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.1.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "fpath.0.7.3" -> {"astring.0.8.5" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "frama-c.31.0" -> {"alt-ergo-free.2.2.0" "camlzip.1.13" "conf-gtksourceview3.0+2" "dune.3.20.2" "dune-configurator.3.20.2" "dune-site.3.20.2" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20211128" "ocaml.4.14.2" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_deriving_yaml.0.4.0" "ppx_deriving_yojson.3.9.1" "unionFind.20250818" "why3.1.8.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"} "frama_c_codex.1.0-rc4" -> {"codex.1.0-rc4" "dune.3.20.2" "fmt.0.11.0" "frama-c.31.0" "patricia-tree.0.11.0" "zarith.1.14"} "gen.1.1" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base"} "integers.0.7.0" -> {"dune.3.20.2" "ocaml.4.14.2" "stdlib-shims.0.3.0"} "jane-street-headers.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "js_of_ocaml.6.2.0" -> {"dune.3.20.2" "js_of_ocaml-compiler.6.2.0" "ocaml.4.14.2" "ppxlib.0.35.0"} "js_of_ocaml-compiler.6.2.0" -> {"cmdliner.2.1.0" "dune.3.20.2" "menhir.20211128" "menhirLib.20211128" "menhirSdk.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppxlib.0.35.0" "sedlex.3.7" "yojson.3.0.0"} "jst-config.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "ppx_assert.v0.16.0"} "lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.4.14.2"} "lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.4.14.2"} "logs.0.10.0" -> {"base-threads.base" "cmdliner.2.1.0" "fmt.0.11.0" "js_of_ocaml-compiler.6.2.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "menhir.20211128" -> {"dune.3.20.2" "menhirLib.20211128" "menhirSdk.20211128" "ocaml.4.14.2"} "menhirLib.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"} "menhirSdk.20211128" -> {"dune.3.20.2" "ocaml.4.14.2"} "num.1.6" -> "ocaml.4.14.2"; "ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"} "ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"} "ocaml-config.2" -> "ocaml-base-compiler.4.14.2"; "ocamlbuild.0.16.1" -> "ocaml.4.14.2"; "ocamlfind.1.9.8" -> "ocaml.4.14.2"; "ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "ocplib-simplex.0.4.1" -> {"conf-autoconf.0.2" "num.1.6" "ocaml.4.14.2" "ocamlfind.1.9.8"} "ordering.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "pacomb.1.3" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "stdlib-shims.0.3.0"} "patricia-tree.0.11.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "pp.2.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_base.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_enumerate.v0.16.0" "ppx_globalize.v0.16.0" "ppx_hash.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"} "ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"} "ppx_deriving_yaml.0.4.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "yaml.3.2.0"} "ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"} "ppx_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_here.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_inline_test.v0.16.1" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "time_now.v0.16.0"} "ppx_optcomp.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "stdio.v0.16.0"} "ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"} "ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"} "psmt2-frontend.0.1" -> {"conf-autoconf.0.2" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8"} "qcheck-core.0.27" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.14.2"} "rresult.0.7.0" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "sedlex.3.7" -> {"dune.3.20.2" "gen.1.1" "ocaml.4.14.2" "ppxlib.0.35.0"} "seq.base" -> "ocaml.4.14.2"; "sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "stdio.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2"} "stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.4.14.2" "ordering.3.20.2" "pp.2.0.0"} "time_now.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.4.14.2" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"} "topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "unionFind.20250818" -> {"dune.3.20.2" "ocaml.4.14.2"} "why3.1.8.2" -> {"camlzip.1.13" "menhir.20211128" "ocaml.4.14.2" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.16.0" "zarith.1.14"} "yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2"} "yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"} }