Code

Backporting 2.5.0#758

Code

Merged

Halbaroth merged 11 commits intoOCamlPro:v2.5.xOCamlPro/alt-ergo:v2.5.xfrom Halbaroth:backporting-2.5.0Halbaroth/alt-ergo:backporting-2.5.0Copy head branch name to clipboardJul 28, 2023

+443-199

Commits

Commits on Jul 26, 2023

• Fix links in odoc mld files

  

  bclement-ocp

  authored and

  Halbaroth

  committed
  dfa96e7

  Copy full SHA for dfa96e7

• Fix dead links and compilation warnings in sphinx doc

  

  bclement-ocp

  authored and

  Halbaroth

  committed
  bd31244

  Copy full SHA for bd31244

Commits on Jul 28, 2023

• Update dependencies (OCamlPro#760)

  Show description for 42f7f7b
  Halbaroth

  committed
  42f7f7b

  Copy full SHA for 42f7f7b

• [doc] Document the floating-point and bitvector primitives (OCamlPro#762)

  

  bclement-ocp

  authored and

  Halbaroth

  committed
  bf6c6db

  Copy full SHA for bf6c6db

• [frontend] Use the dolmen frontend by default with --produce-models (OCamlPro#764)

  Show description for 97930cb
  

  bclement-ocp

  authored and

  Halbaroth

  committed
  97930cb

  Copy full SHA for 97930cb

• Clean up documentation (OCamlPro#765)

  Show description for ca84eab
  Halbaroth

  committed
  ca84eab

  Copy full SHA for ca84eab

• Frontend documentation (OCamlPro#766)

  Show description for b1c8040
  Halbaroth

  committed
  b1c8040

  Copy full SHA for b1c8040

• [doc] Fix documentation typo (OCamlPro#768)

  

  bclement-ocp

  authored and

  Halbaroth

  committed
  0d3a703

  Copy full SHA for 0d3a703

• Update model documentation (OCamlPro#759)

  Show description for 4e2dded
  Halbaroth

  committed
  4e2dded

  Copy full SHA for 4e2dded

• Add block for the notes (OCamlPro#769)

  Halbaroth

  committed
  ec67eac

  Copy full SHA for ec67eac

• Ensure that definitions have the same ordering with dolmen (OCamlPro#771)

  Show description for aebe147
  

  bclement-ocp

  authored and

  Halbaroth

  committed
  aebe147

  Copy full SHA for aebe147