package checked_oint
An OCaml library for checked integer arithmetic
Install
Dune Dependency
Authors
Maintainers
Sources
checked_oint-0.6.0.tar.gz
md5=b591d7b273ed7b077bfcf9e6c18b8b0f
sha512=011068d5af060e4e9b5e72631e61967e4566c80271bd42ff93b2bd65b79dbe8360058ebeb184e3a6582c6aa4da48d65c390dc87e04883bf3ff7d5fa600354a3c
doc/CHANGELOG.html
Changelog
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
unreleased
0.6.0 - 2025-04-12
Changed
- Put all the integer type shortcuts into the new
Int_ty
module. - The
generic_int_ty
function is now available asInt_ty.(of_generic : generic -> t)
.
0.5.0 - 2025-04-07
Added
S.of_generic
andS.of_generic_exn
to convert between any two integer types.
0.4.1 - 2025-01-03
Changed
Use manual interfacing with C instead of
ocaml-ctypes
.- This fixes compilation on Fedora Linux, openSUSE, FreeBSD, and Oracle Linux (issue https://github.com/hirrolot/checked_oint/issues/1).
Fixed
- Disable C assertions (
-DNDEBUG
) under therelease
profile.
0.4.0 - 2024-11-24
Added
- The
pair
function as anoption
-returning counterpart ofpair_exn
.
0.3.0 - 2024-11-09
Added
Integer type shortcuts:
u8_int_ty
,u16_int_ty
,u32_int_ty
,u64_int_ty
,u128_int_ty
i8_int_ty
,i16_int_ty
,i32_int_ty
,i64_int_ty
,i128_int_ty
0.2.2 - 2024-11-01
Fixed
- Detect out-of-range letters during 128-bit integer parsing.
0.2.1 - 2024-10-16
Fixed
- Support binary, octal, and hexadecimal
of_string
formats for 128-bit integers.
0.2.0 - 2024-06-14
Added
- The
is_zero
,is_one
,is_all_ones
predicates ongeneric
integers.
Changed
- Rename
S.ty
toS.int_ty
(in accordance withgeneric_int_ty
).
0.1.2 - 2024-05-15
Added
S.of_int
andS.of_string
which returnoption
instead of raising an exception.
Fixed
- Specify a required version of
alcotest
.
0.1.1 - 2024-05-05
Added
S.ty
for getting a type representation (int_ty
).
Fixed
- Specify required versions of
ocaml
andctypes-foreign
indune-project
.
0.1.0 - 2024-05-01
Added
- This library.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page