ZArith v1.13
·
22 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]