package zarith

All checked builds pass
  1. Overview
  2. Docs
Implements arithmetic and logical operations over arbitrary-precision integers

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

  1. A
    Antoine Miné
  2. Xavier Leroy
  3. P
    Pascal Cuoq

Maintainers

  1. Xavier Leroy

Sources

release-1.14.tar.gz
sha256=5db9dcbd939153942a08581fabd846d0f3f2b8c67fe68b855127e0472d4d1859
sha512=8a7f3e82dfa5699c8dda54dd5398c712f3ac4fe04f5208d43d8ba198fb8152de5f91cbb59c15c0a4ba010d4dfcc79f52e405bdd0abbf2798167e9e4216bcb3dd

Description

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

Added to opam-repository:

Dev Dependencies

None

Optional Dependencies

None

  1. alonzo
  2. alt-ergo < "2.3.0"
  3. alt-ergo-free
  4. alt-ergo-lib
  5. altgr-ergo < "2.3.0"
  6. anders >= "1.1.1"
  7. asli
  8. aslref
  9. asn1-combinators < "0.3.1"
  10. atproto
  11. avro-simple
  12. awa
  13. awsm
  14. awso
  15. bam
  16. bap-mips
  17. bap-patterns
  18. bap-powerpc
  19. bap-primus-random
  20. bap-primus-symbolic-executor
  21. bap-radare2
  22. bap-std
  23. bigdecimal
  24. bignum
  25. binsec
  26. binsec_codex
  27. bitpack_serializer
  28. bitvec
  29. bitwuzla >= "1.0.0"
  30. bitwuzla-cxx
  31. bls12-381 < "18.0"
  32. bls12-381-gen
  33. bls12-381-js-gen < "0.4.2"
  34. bls12-381-legacy
  35. bls12-381-unix
  36. bn128
  37. caisar
  38. calcium < "0.4.0"
  39. calli
  40. catala
  41. cborl
  42. class_group_vdf
  43. cloudi >= "2.0.6"
  44. clp_operations
  45. codex
  46. colibri2
  47. colibrics
  48. colibrilib
  49. coq >= "8.13.0" & < "8.17.0"
  50. coq-core < "9.0.0"
  51. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  52. cryptokit
  53. ctypes-zarith
  54. curve448
  55. data-encoding
  56. decimal
  57. diffast-misc = "0.3.5.1"
  58. dolmen_loop >= "0.11"
  59. dolmen_model
  60. exenum >= "0.84"
  61. farith
  62. feat
  63. ff
  64. ff-pbt
  65. ff-sig
  66. flint
  67. floatml
  68. fm-simplex-plugin
  69. frama-c
  70. frama-clang
  71. frama_c_codex
  72. fstar
  73. gemini
  74. giflib
  75. goblint
  76. goblint-cil >= "1.7.4"
  77. hacl
  78. hacl-star
  79. hardcaml
  80. herdtools7 >= "7.57"
  81. hol_light
  82. jasmin
  83. jose
  84. karamel
  85. kdl >= "0.2.0"
  86. key-parsers
  87. kremlin < "transition"
  88. lem
  89. libzipperposition < "2.1"
  90. logtk
  91. malfunction
  92. mc2
  93. mec
  94. mirage-crypto-pk
  95. mopsa
  96. nocrypto
  97. obeam
  98. ocplib-simplex >= "0.5.1"
  99. orgeat
  100. ortac-runtime
  101. osdp
  102. parsley
  103. patricia-tree < "0.10.0"
  104. pilat >= "1.6"
  105. pkcs11 >= "0.10.0"
  106. polynomial
  107. ppx_pbt >= "0.2.1"
  108. ppx_wideopen
  109. prbnmcn-basic-structures
  110. prbnmcn-proptest
  111. primes
  112. profiler-plugin
  113. randii
  114. rfc7748
  115. rocq-runtime
  116. safemoney
  117. sail < "0.15"
  118. salto-analyzer
  119. satML-plugin
  120. server-reason-react >= "0.4.1"
  121. sexp_grammar >= "v0.16.0"
  122. smt-string < "0.2"
  123. smtml
  124. solidity-common
  125. soteria
  126. tezos-base58
  127. tezos-context-hash
  128. tptp
  129. ufind
  130. union-find-lattice
  131. voqc
  132. why3 >= "1.8.0"
  133. yices2
  134. yices2_bindings
  135. z3 >= "4.8.7"
  136. zarith-ppx
  137. zenon_modulo
  138. zipperposition < "2.1"
  139. zipperposition-tools < "2.1"

Conflicts

None

Build status

Results of building zarith with each compiler on check.ci.ocaml.org, run of against opam-repository 78c202b. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
1.14 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure