Skip to content

Releases: ocaml/Zarith

ZArith v1.14

10 Jul 07:35
Compare
Choose a tag to compare
  • #148, #149: Fail unmarshaling when it would produce non-canonical big ints
  • #145, #150: Use standard hash function for Z.hash and add Z.seeded_hash
  • #140, #147: Add fast path for Z.divisible on small arguments

ZArith v1.13

19 Jul 18:02
Compare
Choose a tag to compare
  • #113: add conversions to/from small unsigned integers (to|fits)_(int32|int64|nativeint)_unsigned [Antoine Miné]
  • #128: add functions to pseudo-randomly generate integers [Xavier Leroy]
  • #105: add Big_int.big_int_of_float [Yishuai Li]
  • #90: add fast path to Z.extract when extraction leads to a small integer [Frédéric Recoules]
  • #137: more precise bounds for of_float conversion to small ints [Antoine Miné]
  • #118: fix Z_mlgmpidl interface for mlgmpidl >= 1.2 [Simmo Saan]
  • #109: fix typo in ml_z_mul function [Bernhard Schommer]
  • #108: fix dependency on C evaluation order in ml_z_remove [Xavier Clerc]
  • #117 #120 #129 #132 #135 #139 #141: configure & build simplifications and fixes [various authors]
  • #134: CI testing: add Windows, test both 4.14 and 5.0 [Hugo Heuzard]

ZArith v1.12

03 Mar 09:07
Compare
Choose a tag to compare
  • PR #79: fast path in OCaml (instead of assembly language) [Xavier Leroy]
  • PR #94: remove source preprocessing and simplify configuration [Xavier Leroy]
  • PR #93: fix parallel build [Guillaume Melquiond]
  • PR #92: fix benchmark for subtraction [Guillaume Melquiond]
  • Require OCaml 4.04 or later [Xavier Leroy]
  • Add CI testing on macOS [Xavier Leroy]

ZArith v1.11

09 Nov 21:44
Compare
Choose a tag to compare
  • Fixes #72, #75, #78: multiple fixes for of_string, support for underscores [hhugo]
  • Fix #74: fix Q.to_float for denormal numbers [pascal-cuoq]
  • Fix #84: always represent min_int by a tagged integer [xavierleroy]
  • muliple fixes for min_int arguments [xavierleroy]
  • Improvement #85: optimize the fast paths for comparison and equality tests [xavierleroy]
  • Fix #80: ar tool is detected in configure [jsmolic]

ZArith v1.10

11 Sep 10:32
Compare
Choose a tag to compare
  • Improvement #66: added some mpz functions (divisible, congruent, jacobi, legendre, krobecker, remove, fac, primorial, bin, fib, lucnum)
  • Improvement #65: Q.of_string now handles decimal point and scientific notation [Ghiles Ziat]
  • Fix #60: Z.root now raises an exception for invalid arguments
  • Fix #62: raise division by 0 for 0-modulo in powm
  • Fix #59: improved abs for negative arguments
  • Fix #58: gcd, lcm, gcdext now behave as gmp for negative arguments
  • Fix #57: clean compile with sage strings [hugo]

ZArith v1.9.1 (bugfix)

28 Aug 14:17
Compare
Choose a tag to compare
  • Fix configure issue for non-bash sh introduced in #45
  • Tweaks to opam file [kit-ty-kate]

ZArith v1.9

22 Aug 15:32
Compare
Choose a tag to compare
  • Issue #50: add opam file, make it easy to "opam publish" new versions
  • Issue #38: configure detects 32bit OCaml switch on 64bit host
  • Fix #36: change Q.equal, leq, geq comparisons for undef
  • Request #47: move infix comparison operators of Z in submodule,
    avoid shadowing the polymorphic compare
  • Fix #49: INT_MAX undeclared
  • Request #46: add prefixnonocaml option ()
  • Request #45: fix ocamllibdir/caml/mlvalues.h bug (Cygwin)
  • Fix: attempting to build numbers too large for GMP raises an OCaml exception
    instead of crashing with "gmp: overflow in mpz type"

ZArith v1.8

29 Mar 23:16
Compare
Choose a tag to compare
  • Request #20: infix comparison operators for Q and Z [Max Mouratov]
  • Request #39: gdc(x,0) = gcd(0,x) = x [Vincent Laporte]
  • Request #41: support for upcoming OCaml 4.08 [Daniel Hillerström]
  • Issue #17: add package zarith.top with REPL printer [Christophe Troestler]
  • Issue #22: wrong stack marking directive in caml_z_x86_64_mingw64.S [Bernhard Schommer]
  • Issue #24: generate and install .cmti files for easy access to documentation
  • Issue #25: false alarm in tests/zq.ml owing to unreliable printing of FP values
  • Request #28: better handling of absolute paths in "configure"

ZArith v1.7

13 Oct 17:47
Compare
Choose a tag to compare
  • Issue #14, pull request #15: ARM assembly code was broken.
  • Fix tests so that they work even if the legacy Num library is unavailable.

ZArith v1.6

23 Sep 08:50
Compare
Choose a tag to compare
  • On Linux and BSD, keep the stack non-executable.
  • Fixed spurious installation error if shared libraries not supported [Bernhard Schommer]
  • Issue #10: clarify documentation of Q.of_string