Profiles › full › package: cvc5 › 1.1.3~unreleased

cvc5.1.1.3~unreleased

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-06T21:35:55Z2026-11-06-203537successdocse3e51ccbcb8fblessedafddb4a033d2—
2026-11-06T11:34:01Z2026-11-06-091811successdocse3e51ccbcb8fblessedce32b4204556—
2026-11-05T20:43:59Z2026-11-05-172759successbuild—blessedf0e6a0152083
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-11-05T14:16:42Z2026-11-05-140256successdocse3e51ccbcb8fblessedb622bf3d1e59—
2026-11-05T08:27:42Z2026-11-05-045351successbuild—blessed933d781d3afd
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-11-05T05:03:27Z2026-11-05-035011successdocse3e51ccbcb8fblesseda3b322920e62—
2026-11-02T09:32:40Z2026-11-02-090434successdocse3e51ccbcb8fblessed6e5996208e53—
2026-11-01T11:57:09Z2026-11-01-113646successdocse3e51ccbcb8fblessed290400446d74—
2026-10-30T16:23:43Z2026-10-30-144942successdocse3e51ccbcb8fblessed37182f97006a—
2026-10-30T12:50:11Z2026-10-30-104247successdocse3e51ccbcb8fblessed228103ca579b—
2026-10-30T00:24:09Z2026-10-29-013439successdocse3e51ccbcb8fblessed94c6a84bfb64—
2026-10-29T00:36:35Z2026-10-28-204621successbuild—blessed933d781d3afd
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.14.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.24.2
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
2026-10-28T03:53:46Z2026-10-28-031445successdocse3e51ccbcb8fblessedf2770a4635b7—
2026-10-28T02:22:00Z2026-10-27-201705successdocse3e51ccbcb8fblessedd263fcc3357b—
2026-10-28T01:31:45Z2026-10-27-201705successbuild—blessed0d33dd3aa6f9—
2026-10-27T18:12:07Z2026-10-27-171126successdocsbe70e18ff08bblessed7c6b931c8165—
2026-10-27T11:26:10Z2026-10-27-105258successdocsbe70e18ff08bblesseddc660c778341—
2026-10-26T21:22:39Z2026-10-26-204544successdocsbe70e18ff08bblessed0e90e47f560b—
2026-10-25T13:00:07Z2026-10-25-114903successdocsbe70e18ff08bblessed3e91ab99d628—
2026-10-24T23:44:03Z2026-10-24-223844successdocsbe70e18ff08bblessedfbdd695131aa—
2026-10-24T17:08:45Z2026-10-24-152942successdocsbe70e18ff08bblessedba67d1e364fa—
2026-10-24T14:49:00Z2026-10-24-142314successdocsbe70e18ff08bblessede19bd633d813—
2026-10-24T10:29:58Z2026-10-24-092246successdocsbe70e18ff08bblessed65e89b7a73b0—
2026-10-24T06:07:09Z2026-10-24-002606successdocsbe70e18ff08bblessed96ffcb33230b—
2026-10-23T22:55:26Z2026-10-23-211721successbuild—blessed36ea07e4c8b7—
2026-10-23T21:59:02Z2026-10-23-201901failurebuild—blessed36ea07e4c8b7—
2026-10-22T08:57:04Z2026-10-22-023526successdocs3f853b0a9d7bblessed4845f775dfed—
2026-10-21T21:20:55Z2026-10-21-192926successbuild—blessed2cfca30b59cf—
2026-10-17T08:08:03Z2026-10-17-073117successdocs3f853b0a9d7bblessede1b1716a8aff—
2026-10-15T23:54:03Z2026-10-15-205801successdocs3f853b0a9d7bblessedea1897acc7d8—
2026-10-15T20:34:56Z2026-10-15-165737successbuild—blessede4aa8aa1b256—
2026-10-09T10:33:24Z2026-10-09-091946successdocs3f853b0a9d7bblessedc82ea455e8b9—
2026-10-09T07:57:43Z2026-10-08-120735successdocs3f853b0a9d7bblesseda7fab32e0d76—
2026-10-07T04:56:14Z2026-10-07-011659successbuild—blessede4aa8aa1b256—
2026-10-06T22:43:29Z2026-10-06-141424successbuild—blessed8d705b59927c—
2026-10-04T14:55:39Z2026-10-04-143904successdocs3f853b0a9d7bblessed7f8b18cba8c9—
2026-10-03T19:07:38Z2026-10-03-184025successdocs3f853b0a9d7bblessedc90c0aabf16b—
2026-10-03T18:05:37Z2026-10-03-173316successdocs3f853b0a9d7bblessed3d41f4d7a1f2—
2026-10-03T14:40:08Z2026-10-03-142810successdocs3f853b0a9d7bblessedf14229744b3f—
2026-10-01T16:29:59Z2026-10-01-161351successdocs3f853b0a9d7bblessed83b0e79e50af—
2026-10-01T10:36:53Z2026-10-01-100800successdocs3f853b0a9d7bblessed90ff1cfdb2f3—
2026-09-30T08:28:42Z2026-09-30-075346successdocs3f853b0a9d7bblessedaaa19f6e9462—
2026-09-29T20:53:30Z2026-09-29-205026successdocs3f853b0a9d7bblessed745dce5580f6—
2026-09-27T14:44:27Z2026-09-27-113123successbuild—blessed8d705b59927c—
2026-09-25T08:28:30Z2026-09-25-082245successdocs3f853b0a9d7bblessedd9b99ed4ab24—
2026-09-23T22:31:48Z2026-09-23-221552successdocs3f853b0a9d7bblesseddfdd6dbde348—
2026-09-22T18:28:12Z2026-09-22-180352successdocs3f853b0a9d7bblessedaaa19f6e9462—
2026-09-22T15:22:04Z2026-09-22-150613successdocs3f853b0a9d7bblessed97cb95362136—
2026-09-21T17:28:31Z2026-09-21-171612successdocs3f853b0a9d7bblessede7970bfd4ba0—
2026-09-21T12:21:46Z2026-09-21-121346successdocs3f853b0a9d7bblessed83754bf461e0—
2026-09-20T06:38:03Z2026-09-19-225133successdocs3f853b0a9d7bblessed1d8eb794fba2—
2026-09-19T19:00:24Z2026-09-19-165417successbuild—blessed8d705b59927c—
2026-09-18T17:09:18Z2026-09-18-164152successdocs3f853b0a9d7bblessedf5999509ebaa—
2026-09-17T21:02:43Z2026-09-17-195331successdocs3f853b0a9d7bblessedd8709258971c—
2026-09-17T18:49:06Z2026-09-17-183928successdocs3f853b0a9d7bblessed4cf3cb85d5c0—
2026-09-16T21:54:13Z2026-09-16-213221successdocs3f853b0a9d7bblessed63514b3590ac—
2026-09-16T20:50:04Z2026-09-16-203456successdocs3f853b0a9d7bblessed4a1c061067f9—
2026-09-15T14:42:35Z2026-09-15-143420successdocs3f853b0a9d7bblessed49c10e487e6f—
2026-09-14T13:38:29Z2026-09-14-133321successdocs3f853b0a9d7bblessed90b8484f6020—
2026-09-14T08:48:35Z2026-09-14-082918successdocs3f853b0a9d7bblessed70d64e9ee83b—
2026-09-12T20:43:18Z2026-09-12-182127successbuild—blessedc3bd7f2d61f0—
2026-09-11T09:31:04Z2026-09-11-090648successdocs3f853b0a9d7bblessedc3aba1791d88—
2026-09-10T21:01:43Z2026-09-10-210001successdocs3f853b0a9d7bblessed08af7228e0e8—
2026-09-09T22:02:50Z2026-09-09-215440successdocs3f853b0a9d7bblessed80612bf43411—
2026-09-09T20:04:19Z2026-09-09-195941successdocs3f853b0a9d7bblessed6a562b88567c—
2026-09-09T09:11:18Z2026-09-09-085214successdocs3f853b0a9d7bblessed1f53529be1dc—
2026-09-08T17:50:42Z2026-09-08-174401successdocs3f853b0a9d7bblessed69f75321c8b7—
2026-09-07T23:41:29Z2026-09-07-215502successdocs3f853b0a9d7bblessed7f97a24eb5d2—
2026-09-07T16:45:09Z2026-09-07-163926successdocs3f853b0a9d7bblessed084d799cc353—
2026-09-06T20:31:55Z2026-09-06-194027successdocs3f853b0a9d7bblessed0933d69e1dc7—
2026-09-04T20:14:12Z2026-09-04-174614successdocs3f853b0a9d7bblessedca54727ef87e—
2026-09-04T17:41:37Z2026-09-04-154555successbuild—blessedc3bd7f2d61f0—
2026-09-03T13:48:58Z2026-09-03-134326successdocsac59c629775eblessed84b79334aadf—
2026-09-03T06:34:51Z2026-09-03-053721successdocsac59c629775eblessed7d27c1a9bc01—
2026-09-02T19:00:00Z2026-09-02-153610successbuild—blessedecafbc7014e2—
2026-09-01T22:50:18Z2026-09-01-223932successdocsac59c629775eblessedc17ef3bd445b—
2026-09-01T12:50:32Z2026-09-01-123758successdocsac59c629775eblessedc15fed14c66c—
2026-08-31T12:46:52Z2026-08-31-123356successdocsac59c629775eblessed58ef17e90437—
2026-08-27T21:49:52Z2026-08-27-212110successdocsac59c629775eblessede6c94276f4c3—
2026-08-27T08:36:26Z2026-08-27-081946successdocsac59c629775eblessedec5a2c73763b—
2026-08-26T04:38:36Z2026-08-26-040104successdocsac59c629775eblessed7d27c1a9bc01—
2026-08-26T02:38:34Z2026-08-25-171050successdocsac59c629775eblessed5ff5b77d29bf—
2026-08-25T19:19:32Z2026-08-25-171050successbuild—blessedecafbc7014e2—
2026-08-23T16:59:29Z2026-08-23-165512successdocsac59c629775eblesseda84fc6f83a04—
2026-08-22T13:02:53Z2026-08-22-125130successdocsac59c629775eblessede775c2d4ca62—
2026-08-21T14:06:04Z2026-08-21-135114successdocsac59c629775eblessed7982c2b8f5bd—
2026-08-21T12:52:32Z2026-08-21-094416successbuild—blesseda249c6dc8ce0—
2026-08-20T19:52:32Z2026-08-20-194107successdocsac59c629775eblessede40645683d7c—
2026-08-20T09:02:41Z2026-08-20-084443successdocsac59c629775eblessedf66d842d7e95—
2026-08-18T21:53:19Z2026-08-18-214707successdocsac59c629775eblessed56e556caef41—
2026-08-18T20:49:46Z2026-08-18-204147successdocsac59c629775eblessed1378de353508—
2026-08-17T10:45:18Z2026-08-17-103857successdocsac59c629775eblessedd8de0046bd86—
2026-08-15T15:39:45Z2026-08-15-112802successdocsac59c629775eblessedb0f87b864455—
2026-08-15T15:15:00Z2026-08-15-111532successdocsac59c629775eblessedcd6374e5bdd1—
2026-08-15T09:52:46Z2026-08-15-083020successdocsac59c629775eblessed9f5e6af0af14—
2026-08-13T15:44:35Z2026-08-13-121658successbuild—blesseda249c6dc8ce0—
2026-08-09T22:15:47Z2026-08-09-220845successdocsac59c629775eblessed9a7bb150355f—
2026-08-07T18:16:53Z2026-08-07-175755successdocsac59c629775eblessedebae9eab7d31—
2026-08-06T14:50:50Z2026-08-06-144512successdocsac59c629775eblessedb0f87b864455—
2026-08-06T04:44:02Z2026-08-06-025103successdocsac59c629775eblessed3a22e3343b79—
2026-08-06T02:32:41Z2026-08-05-194044successdocsac59c629775eblessede1a4a1a7e4e9—
2026-08-05T19:07:21Z2026-08-05-173857successbuild—blesseda249c6dc8ce0—
2026-08-04T04:05:22Z2026-08-03-223316successdocsac59c629775eblessed71d4fcc2dd38—
2026-08-03T22:30:09Z2026-08-03-213638successbuild—blessedb64eba867067—
2026-08-01T10:40:14Z2026-08-01-103218successdocsb7c1a173693bblessedbb4c5e6357eb—
2026-08-01T01:08:00Z2026-07-31-214001successdocsb7c1a173693bblessed5186b04b112a—
2026-07-31T18:48:19Z2026-07-31-165000successdocsb7c1a173693bblessedf3c9101e5327—
2026-07-31T11:47:35Z2026-07-31-002521successbuild—blessedbd3b0dd12515—
2026-07-29T17:30:43Z2026-07-29-171938successdocsb7c1a173693bblessed63a90d01b4bc—
2026-07-29T12:33:18Z2026-07-29-121216successdocsb7c1a173693bblessed0a2e85c68c4f—
2026-07-28T18:17:53Z2026-07-28-181006successdocsb7c1a173693bblessed3632331fc75e—
2026-07-28T09:09:48Z2026-07-28-085842successdocsb7c1a173693bblessed82232ee42f85—
2026-07-28T06:09:46Z2026-07-28-055740successdocsb7c1a173693bblessed5f13fb8ddc41—
2026-07-27T22:13:27Z2026-07-27-215638successdocsb7c1a173693bblessedc8ae4bc3752e—
2026-07-26T22:54:50Z2026-07-26-224748successdocsb7c1a173693bblessed0f3c6aa30586—
2026-07-26T17:07:57Z2026-07-26-105040successdocsb7c1a173693bblessed39dbf681d131—
2026-07-25T20:48:56Z2026-07-25-204314successdocsb7c1a173693bblessede14dfb0e0b0e—
2026-07-24T17:13:49Z2026-07-24-164945successdocsb7c1a173693bblessedc7d98230ee8c—
2026-07-24T15:03:08Z2026-07-24-134145successdocsb7c1a173693bblessed27adfe6760d1—
2026-07-24T11:50:03Z2026-07-24-104353successbuild—blessedbd3b0dd12515—
2026-07-23T21:30:29Z2026-07-23-154118successdocsb7c1a173693bblessed80ebf6211462—
2026-07-23T16:26:34Z2026-07-23-154118successbuild—blessed15c607e8cfa7—
2026-07-22T16:41:24Z2026-07-22-163510successdocsd2e3f42bd465blessed0edf93c209c0—
2026-07-22T09:59:02Z2026-07-22-093902successdocsd2e3f42bd465blessedce5b71ad4a7f—
2026-07-15T20:00:03Z2026-07-15-195517successdocsd2e3f42bd465blessedca0eb102e30f—
2026-07-15T01:38:52Z2026-07-14-215713successdocsd2e3f42bd465blessed7d332d0d89fe—
2026-07-14T18:05:26Z2026-07-14-163452successbuild—blessed7aec48f19e6f—
2026-07-13T19:50:49Z2026-07-13-194504successdocsd2e3f42bd465blessed114a1f689ea2—
2026-07-11T15:55:47Z2026-07-11-155256successdocsd2e3f42bd465blessed62d0e2d150d4—
2026-07-10T09:17:58Z2026-07-10-090232successdocsd2e3f42bd465blessed21e0c172aa2b—
2026-07-10T04:45:04Z2026-07-10-033601successdocsd2e3f42bd465blessed027879b8399d—
2026-07-09T21:19:55Z2026-07-09-185641successbuild—blessed09469ed71a05—