package optint

  1. Overview
  2. Docs
Efficient integer types on 64-bit architectures

Install

Dune Dependency

Authors

Maintainers

Sources

optint-0.2.0.tbz
sha256=1dcbe0b6b6031f77db33028c87138fdb3bf90f92915e3b6629ddeb30a0d3000b
sha512=7d4b63c82b1dc1e363a892895c1a612bac3dcd33c27e2c27e8ea2e8868d659413226c7a0d7bdcac423f7fb016069d0de90c3eaa68986da6aea69e1f1ca583f18

CHANGES.md.html

v0.2.0 2022-04-08 Paris (France)

  • Fix the README.md (@sidkshatriya, #19)

  • Fix fuzzers (@dinosaure, #20)

  • Add a proof to introspect the type of Optint.t (@dinosaure, #21)

v0.1.0 2021-03-30 Paris (France)

  • Annotate integer types with [@@immediate64] (@CraigFe, #13)

  • Move unwrapped module Int63 to Optint.Int63 (@CraigFe, #13)

v0.0.5 2021-02-22 Paris (France)

  • Update the README.md (@CraigFe, #9)

  • Add a representation of 63-bit integers (@CraigFe, #9)

  • Allow to compile fuzzers on 32-bit architectures (@dinosaure, #9)

  • Add encode / decode functions for integers (@CraigFe, #9)

  • Fix optint about sign and cast on all architectures (@dinosaure, #9)

  • breaking changes, rename and handle properly sign-bit: {of,to}_int become {of,to}_unsigned_int {of,to}_int32 become {of,to}_unsigned_int32 Previous functions handle sign-bit correctly

v0.0.4 2020-03-09 Paris (France)

  • Fix 32bit backend where we miss to fully apply an invalid_arg

  • Fix 64bit backend where Native.unsigned_compare and Nativeint.unsigned_div exists (OCaml 4.08.0)

v0.0.3 2010-09-12 Paris (France)

  • Avoid partial application of function (#2, @dinosaure)

  • Add [@immediate] tag (#4, @dinosaure)

  • Fix select.ml in 32bit (#5, @IndiscriminateCoding)

  • Fix typo (#6, @hannesm)

  • Add fuzzer (#8, @dinosaure)

  • Fix lsr and asr in 64bit (#8, @cfcs, @dinosaure)

  • Optimization on of_int function (64bit) (#8, @cfcs, @dinosaure)

  • Optimization on abs function (64bit) (#8, @cfcs, @dinosaure)

  • Fix 32bit architecture, keep bit-sign in the same place (#8, @dinosaure, review @cfcs)

v0.0.2 2018-10-15 Paris (France)

  • Dunify project

  • Fix dependencies on dune file when we select impl. (@rgrinberg)

v0.0.1 2018-06-28 Paris (France)

  • First version of optint