Repository owner: Tomohiro Degawa (degawa)

bstrith

Fixed-width binary-string arithmetic, shifts and logical operations.

Repository · Pinned source (7ed7730e34c7) · Try in playground · Checked package example

GAMS classifications

About this package

Category: High precision
License: MIT

Topics: binary-arithmetic, binary-strings, bit-operations, bit-shifts

Classification scope and review notes

Package dependencies

Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.

Required by this build

No additional GitHub package dependencies were recorded for this verified build.

Build record verified 2026-10-28.

Used by (1 selected package)

These selected builds include this repository directly or indirectly. Each link to source identifies the revision that build uses.

orbs · dependency source at 7ed7730e34c7

Reviewed procedures

These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.

add / sub / shift_l / shift_r

Module: bstrith_arithmetic_basic_add / bstrith_bit_shift

A1 N2

A1: source-supported; N2: verified

Derivatives / callbacks: not applicable

Fixed-width binary-string addition, subtraction, shifts and logical operations. The driver checks every eight-bit value, including carry and wraparound. This is not unlimited arbitrary-precision arithmetic. Dedicated N2 driver: 5120 exact comparisons against independent native integer references: shifts/complement/XOR over all 8-bit values, 8-bit increment/decrement, and all ordered pairs of 4-bit addition/subtraction operands. This N2 driver does not mark the separate A1 mapping verified.

Pinned source: src/arithmetic/basic/add/add.f90 · src/bit/shift/shift.f90

Author examples/tests: README.md

Load checked GAMS driver: gams-bstrith-bit-reference