Search results

GMP <code>mpq_cmp</code> function features a lot of fast cases compared to <code>Q.compare</code>

Status: Open.

Feature

#160 In ocaml/Zarith;

· bobot opened on Mar 3, 2025

Compiling Zarith 1.14 on MacOS ARM

Status: Open.

#156 In ocaml/Zarith;

· arozovyk opened on Aug 26, 2024

Setting <code>OCAMLFIND_DESTDIR</code> can mess with opam installation

Status: Open.

#136 In ocaml/Zarith;

· Alizter opened on Mar 8, 2023

Naive question about static linking

Status: Open.

#126 In ocaml/Zarith;

· RBornat opened on Sep 3, 2022

Publish Z_mlgmpidl module on opam

Status: Open.

#119 In ocaml/Zarith;

· sim642 opened on Jan 21, 2022

Windows MSVC ABI compatible build

Status: Open.

#43 In ocaml/Zarith;

· trou opened on Jan 22, 2019

Exponentiation is missing in module Q

enhancement

help wanted

Status: Open.

#33 In ocaml/Zarith;

· loxs opened on May 14, 2018