Search results

Q.mul_2exp and Q.div_2exp fail with negative exponent

Status: Open.

#171 In ocaml/Zarith;

· JanBeh opened on Mar 26, 2026

Fallible conversion from string

Status: Open.

#170 In ocaml/Zarith;

· JanBeh opened on Mar 26, 2026

GMP mpq_cmp function features a lot of fast cases compared to Q.compare

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 OCAMLFIND_DESTDIR 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