Profiles › odoc-master-mini › package: goblint › 2.8.0

goblint.2.8.0

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-25T11:23:36Z2026-10-25-111631successdocs62cf28d0fd00blessede5bb9096e253—
2026-10-25T11:20:58Z2026-10-25-111631successbuild—blessed59279690df29
84 deps
  • angstrom.0.16.1
  • arg-complete.0.2.1
  • astring.0.8.5
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • batteries.3.11.0
  • bigstringaf.0.10.0
  • bos.0.3.0
  • camlp-streams.5.0.1
  • catapult-file.0.2
  • catapult.0.2
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • cpu.2.0.0
  • csexp.1.5.2
  • ctypes.0.24.0
  • domain-local-await.1.0.1
  • domain_shims.0.1.0
  • dune-build-info.3.21.1
  • dune-configurator.3.21.1
  • dune-private-libs.3.21.1
  • dune-site.3.21.1
  • dune.3.21.1
  • dyn.3.21.1
  • fileutils.0.6.6
  • fmt.0.11.0
  • fpath.0.7.3
  • fs-io.3.21.1
  • gen.1.1
  • goblint-cil.2.1.1
  • integers.0.8.0
  • js_of_ocaml-compiler.6.5.0
  • json-data-encoding.0.11
  • jsonrpc.1.27.0
  • logs.0.10.0
  • lwt.6.1.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mtime.2.2.0
  • num.1.6
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.2
  • ocaml-syntax-shims.1.0.0
  • ocaml.5.5.2
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-endian.1.2
  • ordering.3.21.1
  • patricia-tree.0.15.0
  • pp.2.0.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_deriving_hash.0.1.5
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.39.0
  • qcheck-core.0.91
  • rresult.0.7.0
  • sedlex.3.8.1
  • seq.base
  • sexplib0.v0.17.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.21.1
  • stringext.1.6.0
  • thread-table.1.0.0
  • top-closure.3.21.1
  • topkg.1.1.1
  • uri.4.4.0
  • uuidm.0.9.10
  • yaml.3.2.0
  • yojson.2.2.2
  • zarith.1.14
2026-10-24T22:18:28Z2026-10-24-221220successdocs527795fc6be3blessed577b5307313f—
2026-10-24T15:19:45Z2026-10-24-151320successdocs527795fc6be3blessed10f6aa633e46—
2026-10-24T14:12:58Z2026-10-24-141057successdocs4f716ec6bba2blessede8fb97e76df7—
2026-10-24T10:01:21Z2026-10-24-093125successdocs4f716ec6bba2blessedfd458113f9bd—
2026-10-23T21:12:07Z2026-10-23-210651successdocs7801cd441cfbblessed9ea46767cf9c—
2026-10-23T20:40:05Z2026-10-23-201001successdocs7801cd441cfbblessed4a7f0393cc09—
2026-10-23T20:26:06Z2026-10-23-201001successbuild—blessedf228c9019853
84 deps
  • angstrom.0.16.1
  • arg-complete.0.2.1
  • astring.0.8.5
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • batteries.3.11.0
  • bigstringaf.0.10.0
  • bos.0.3.0
  • camlp-streams.5.0.1
  • catapult-file.0.2
  • catapult.0.2
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • cpu.2.0.0
  • csexp.1.5.2
  • ctypes.0.24.0
  • domain-local-await.1.0.1
  • domain_shims.0.1.0
  • dune-build-info.3.21.1
  • dune-configurator.3.21.1
  • dune-private-libs.3.21.1
  • dune-site.3.21.1
  • dune.3.21.1
  • dyn.3.21.1
  • fileutils.0.6.6
  • fmt.0.11.0
  • fpath.0.7.3
  • fs-io.3.21.1
  • gen.1.1
  • goblint-cil.2.1.1
  • integers.0.8.0
  • js_of_ocaml-compiler.6.4.1
  • json-data-encoding.0.11
  • jsonrpc.1.27.0
  • logs.0.10.0
  • lwt.6.1.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mtime.2.2.0
  • num.1.6
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.2
  • ocaml-syntax-shims.1.0.0
  • ocaml.5.5.2
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-endian.1.2
  • ordering.3.21.1
  • patricia-tree.0.15.0
  • pp.2.0.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_deriving_hash.0.1.5
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.39.0
  • qcheck-core.0.91
  • rresult.0.7.0
  • sedlex.3.8.1
  • seq.base
  • sexplib0.v0.17.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.21.1
  • stringext.1.6.0
  • thread-table.1.0.0
  • top-closure.3.21.1
  • topkg.1.1.1
  • uri.4.4.0
  • uuidm.0.9.10
  • yaml.3.2.0
  • yojson.2.2.2
  • zarith.1.14
2026-10-22T22:07:45Z2026-10-22-220106successdocs5aade5ecacb5blessedd43505d49c9e—
2026-10-22T17:44:06Z2026-10-22-171433successdocs5aade5ecacb5blessedaf80a8eee55c—
2026-10-21T22:07:50Z2026-10-21-215927successdocs23eeaaf00311blessed28bcfde3518a—
2026-10-21T19:59:03Z2026-10-21-195544successdocs23eeaaf00311blessedde6f2b35d2b7—
2026-10-21T17:32:13Z2026-10-21-164626successdocs23eeaaf00311blessedda79a39d2643—
2026-10-21T17:15:59Z2026-10-21-164626successbuild—blessedba7ac3b1bdb2
84 deps
  • angstrom.0.16.1
  • arg-complete.0.2.1
  • astring.0.8.5
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • batteries.3.11.0
  • bigstringaf.0.10.0
  • bos.0.3.0
  • camlp-streams.5.0.1
  • catapult-file.0.2
  • catapult.0.2
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • cpu.2.0.0
  • csexp.1.5.2
  • ctypes.0.24.0
  • domain-local-await.1.0.1
  • domain_shims.0.1.0
  • dune-build-info.3.21.1
  • dune-configurator.3.21.1
  • dune-private-libs.3.21.1
  • dune-site.3.21.1
  • dune.3.21.1
  • dyn.3.21.1
  • fileutils.0.6.6
  • fmt.0.11.0
  • fpath.0.7.3
  • fs-io.3.21.1
  • gen.1.1
  • goblint-cil.2.1.1
  • integers.0.8.0
  • js_of_ocaml-compiler.6.4.1
  • json-data-encoding.0.11
  • jsonrpc.1.27.0
  • logs.0.10.0
  • lwt.6.1.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mtime.2.2.0
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.1
  • ocaml-syntax-shims.1.0.0
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-endian.1.2
  • ordering.3.21.1
  • patricia-tree.0.15.0
  • pp.2.0.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_deriving_hash.0.1.5
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.39.0
  • qcheck-core.0.91
  • rresult.0.7.0
  • sedlex.3.8.1
  • seq.base
  • sexplib0.v0.17.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.21.1
  • stringext.1.6.0
  • thread-table.1.0.0
  • top-closure.3.21.1
  • topkg.1.1.1
  • uri.4.4.0
  • uuidm.0.9.10
  • yaml.3.2.0
  • yojson.2.2.2
  • zarith.1.14
2026-10-21T16:02:28Z2026-10-21-155615successdocs23eeaaf00311blessed4f3591909e01—
2026-10-21T14:31:05Z2026-10-21-135957successdocs23eeaaf00311blessedfe28bd56e2a1—
2026-10-17T07:45:58Z2026-10-17-074105successdocse58f93751686blessedd1cac9e249ff—
2026-10-16T16:38:32Z2026-10-16-163714successdocse58f93751686blessed4ef3407b00da—
2026-10-15T21:37:42Z2026-10-15-213533successdocse58f93751686blessed710282b2e45d—
2026-10-15T21:36:36Z2026-10-15-213533successbuild—blessed0865ff51a4b6
84 deps
  • angstrom.0.16.1
  • arg-complete.0.2.1
  • astring.0.8.5
  • base-bytes.base
  • base-threads.base
  • base-unix.base
  • batteries.3.11.0
  • bigstringaf.0.10.0
  • bos.0.3.0
  • camlp-streams.5.0.1
  • catapult-file.0.2
  • catapult.0.2
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • cpu.2.0.0
  • csexp.1.5.2
  • ctypes.0.24.0
  • domain-local-await.1.0.1
  • domain_shims.0.1.0
  • dune-build-info.3.21.1
  • dune-configurator.3.21.1
  • dune-private-libs.3.21.1
  • dune-site.3.21.1
  • dune.3.21.1
  • dyn.3.21.1
  • fileutils.0.6.6
  • fmt.0.11.0
  • fpath.0.7.3
  • fs-io.3.21.1
  • gen.1.1
  • goblint-cil.2.1.1
  • integers.0.8.0
  • js_of_ocaml-compiler.6.4.1
  • json-data-encoding.0.11
  • jsonrpc.1.27.0
  • logs.0.10.0
  • lwt.6.1.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mtime.2.2.0
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.1
  • ocaml-syntax-shims.1.0.0
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-endian.1.2
  • ordering.3.21.1
  • patricia-tree.0.15.0
  • pp.2.0.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_deriving_hash.0.1.5
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.39.0
  • qcheck-core.0.91
  • rresult.0.7.0
  • sedlex.3.8.1
  • seq.base
  • sexplib0.v0.17.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.21.1
  • stringext.1.6.0
  • thread-table.1.0.0
  • top-closure.3.21.1
  • topkg.1.1.1
  • uri.4.4.0
  • uuidm.0.9.10
  • yaml.3.2.0
  • yojson.2.2.2
  • zarith.1.14
2026-10-14T20:39:13Z2026-10-14-203323successdocs4d24ce14c5e9blessed657aeec8e91f—
2026-10-14T14:36:35Z2026-10-14-140618successdocs4d24ce14c5e9blessed1c9206d6994d—
2026-10-13T22:36:26Z2026-10-13-223040successdocs3b027f1905b4blessedf8511e010bae—
2026-10-12T14:14:15Z2026-10-12-135739successdocs3b027f1905b4blessedb574c6a8808c—
2026-10-09T18:22:46Z2026-10-09-180020successdocs39ab6a8559ebblessed5e7b0a9fc927—
2026-10-09T16:53:19Z2026-10-09-151157successdocs39ab6a8559ebblesseda6e1e7d89c18—
2026-10-09T08:11:00Z2026-10-09-075635successdocsd3061e4ee4d0blessed662a6c65016a—
2026-10-08T12:23:05Z2026-10-08-115225successdocsd3061e4ee4d0blessed3363f9ab7ab9—
2026-10-08T12:15:28Z2026-10-08-115225successbuild—blessed41e94e3a5578—
2026-10-07T21:02:32Z2026-10-07-204707successdocs3c46daf3ed4ablessedd8933b682fa0—
2026-10-07T07:57:13Z2026-10-07-074138successdocs6a7909374648blessed4ad0dbfcf080—
2026-10-06T18:27:27Z2026-10-06-163534successdocs6a7909374648blessed1ddba5d49414—
2026-10-06T17:21:17Z2026-10-06-163534successbuild—blessed8fc4881ec742—
2026-10-06T15:57:38Z2026-10-06-153807successdocs6a7909374648blessed57ced7da2bbc—
2026-10-06T15:54:45Z2026-10-06-153807successbuild—blessed773f7eec94df—
2026-10-04T15:23:46Z2026-10-04-152108successdocsdcb2462ec1b9blessed86a40848ec7d—
2026-10-03T17:33:56Z2026-10-03-171743successdocsdcb2462ec1b9blessedbf9fa1b9fa65—
2026-10-01T22:48:05Z2026-10-01-224134successbuild—blessed8afa3abc7745—
2026-10-01T19:07:19Z2026-10-01-190422successdocsf3aece2b2b88blessedfde6259c10cd—
2026-10-01T16:07:27Z2026-10-01-160413successdocsf3aece2b2b88blessedee0fba3d5257—
2026-10-01T09:14:45Z2026-10-01-090716successdocsf3aece2b2b88blessed31ce46cb61d2—
2026-09-29T21:06:24Z2026-09-29-210154successdocs4eee8763272fblessed3fd1e08841bc—
2026-09-29T10:18:39Z2026-09-29-100610successdocs4eee8763272fblessed47ea358435a9—
2026-09-28T18:10:51Z2026-09-28-175741successdocs4eee8763272fblessed5cbfdc98fcbb—
2026-09-28T17:04:02Z2026-09-28-165826successdocs4eee8763272fblessed1a15644d6cd5—
2026-09-28T15:23:07Z2026-09-28-150303successdocs4eee8763272fblessedbfaaac076402—