Skip to content

ZArith v1.13

Latest
Compare
Choose a tag to compare
@xavierleroy xavierleroy released this 19 Jul 18:02
· 8 commits to master since this release
  • #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]