VeriFloat

Bit-accurate golden models for number-format hardware.

Floating point of any width, fixed point, integers and block-scaled tensors, with IEEE status flags on every result,
for verifying RTL from cocotb testbenches in Python, or from SystemVerilog through DPI-C.

Documentation · Validation · Examples · Contributing

Highlights

Any FP format. Any exponent and mantissa width, any bias, signed or unsigned, with IEEE, OCP "FN" or no inf/NaN. Presets for FP16, BF16, FP32, FP64, OCP FP8/FP6/FP4 and E8M0.
Hardware options. Five IEEE rounding modes plus stochastic rounding, saturation, exponent wrap, flush-to-zero, tininess before or after rounding, and x86, ARM or RISC-V NaN conventions.
Everything a scoreboard needs. Each result carries its raw bits, its IEEE status flags and its exact unrounded value. Every operation is exact and rounds once.
Full IEEE 754 operation set. + − × ÷, fma, sqrt, remainder, min/max, nextUp/Down, scaleB/logB, classification, integer conversion, round-to-integral and comparisons.
Arrays and tensors. FPArray for N-D arrays with NumPy interop and SIMD kernels. BlockTensor for NVFP4, OCP MX and custom block-scaled formats, with models of how hardware accumulates dot products.
Fixed point and integers. FIXED with exact bit growth, plus wrapping or saturating UINT/INT.
Testbench tools. A scoreboard that explains each mismatch, and test-vector files (TestFloat, CSV, JSON lines, $readmemh).
No Python needed. libverifloat is the same core as a C library with a SystemVerilog DPI-C package.
Fast and checked. A C++ core runs millions of scalar operations and hundreds of millions of array elements per second. Results are checked against Berkeley SoftFloat/TestFloat, MPFR, the x86 FPU, ml_dtypes, gfloat and APyTypes.

Installation

pip install verifloat

Requires Python 3.12 or later, with no runtime dependencies. Wheels are published for Linux (x86-64 and aarch64, glibc and musl), macOS (Apple silicon and Intel) and Windows (x86-64). Elsewhere pip builds from source, which needs a C++20 compiler (GCC, Clang or MSVC) and git.

Quick start

from verifloat import FP16, E4M3, FPFormat, Rounding

FP16(1) / FP16(0)                    # FP(inf, e5m10, flags=DIVZERO)
E4M3(470)                            # FP(nan, e4m3, fn, flags=INEXACT|OVERFLOW)   OCP FP8: overflow gives NaN
FP16(1.5).fma(FP16(2), FP16(0.25))   # FP(3.25, e5m10)

# Describe the format your RTL implements, then use it like a constructor
FP8 = FPFormat(4, 3, bias=10, ftz=True, rounding=Rounding.RTZ)
y = FP8(3) * FP8(0.6875)             # FP(2.0, e4m3, bias=10, ftz, rtz, flags=INEXACT)
y.raw, y.flags, y.unrounded          # (88, <FPFlags.INEXACT: 1>, Fraction(33, 16))

In a cocotb testbench

from verifloat import FP32
from verifloat.scoreboard import Scoreboard

sb = Scoreboard("adder", fail_fast=False, logger=dut._log)
a, b = FP32.from_raw(a_bits), FP32.from_raw(b_bits)
sb.check(a + b, dut.z, flags=dut.fflags, op="add", a=a, b=b)   # compares bits and flags
sb.assert_clean()

A mismatch report shows both values, their encodings, the distance in ulps and the exact result:

value mismatch (e5m10)
  op       add
  expected 0.2998046875     0x34cc  0|01101|0011001100
  actual   0.300048828125   0x34cd  0|01101|0011001101
  diff     +1 ulp (actual - expected)
  exact    0.2999267578125  (off by: expected -0.5 ulp, actual +0.5 ulp)

From SystemVerilog

import verifloat_pkg::*;

chandle fp32 = vf_format("e8m23");
expected = vf_add(fp32, a, b, flags);   // raw code and IEEE flags, no Python in the simulation

Documentation

Topic
Floating point	formats, operations, IEEE semantics, stochastic rounding, flags, arrays
Integers and fixed point	`UINT`, `INT`, `FIXED`
Block-scaled tensors	NVFP4, MXFP4, MXINT8, custom formats, accumulator models
cocotb and the scoreboard	bus packing, mismatch reports, three complete testbenches
Test vectors	generating and checking vector files
SystemVerilog and C	the DPI-C package and the C API
Validation and platforms	what each outside reference checks; bit-identical results across machines
Performance and limitations	throughput against APyTypes; what is not supported
When to use something else	APyTypes, ml_dtypes, gfloat, pychop, SoftFloat

Status

VeriFloat is alpha (0.2), so the API may still change. It has been run bit for bit across Linux distributions, compilers, C libraries and CPU architectures. See Platforms for what has and hasn't been run. The original pure-Python implementation (0.1) is frozen in archive/python and is the reference the C++ core is tested against.

Contributing

Issues and pull requests are welcome. See CONTRIBUTING.md for how to build, test and validate a change. Please report security problems privately, as described in SECURITY.md.

License

MIT

Metadata

Release files for VeriFloat 0.2.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for VeriFloat 0.2.0
File	Size	Uploaded
verifloat-0.2.0.tar.gz	402.7 kB	Oct 4, 2026	Details

Built distributions (wheels)

Table of built distributions (wheels) for VeriFloat 0.2.0
File	Interpreter	ABI	Platform	Reset
verifloat-0.2.0-cp314-cp314-win_amd64.whl 681.5 kB Oct 4, 2026	CPython 3.14	CPython 3.14	Windows x86-64	Details
verifloat-0.2.0-cp314-cp314-musllinux_1_2_x86_64.whl 1.8 MB Oct 4, 2026	CPython 3.14	CPython 3.14	Linux musl 1.2+ x86-64	Details
verifloat-0.2.0-cp314-cp314-musllinux_1_2_aarch64.whl 1.6 MB Oct 4, 2026	CPython 3.14	CPython 3.14	Linux musl 1.2+ ARM64	Details
verifloat-0.2.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl 641.4 kB Oct 4, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64	Details
verifloat-0.2.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl 559.8 kB Oct 4, 2026	CPython 3.14	CPython 3.14	Linux glibc 2.24+ ARM64, Linux glibc 2.28+ ARM64	Details
verifloat-0.2.0-cp314-cp314-macosx_11_0_x86_64.whl 534.0 kB Oct 4, 2026	CPython 3.14	CPython 3.14	macOS 11.0+ x86-64	Details
verifloat-0.2.0-cp314-cp314-macosx_11_0_arm64.whl 484.1 kB Oct 4, 2026	CPython 3.14	CPython 3.14	macOS 11.0+ ARM64	Details
verifloat-0.2.0-cp313-cp313-win_amd64.whl 663.2 kB Oct 4, 2026	CPython 3.13	CPython 3.13	Windows x86-64	Details
verifloat-0.2.0-cp313-cp313-musllinux_1_2_x86_64.whl 1.8 MB Oct 4, 2026	CPython 3.13	CPython 3.13	Linux musl 1.2+ x86-64	Details
verifloat-0.2.0-cp313-cp313-musllinux_1_2_aarch64.whl 1.6 MB Oct 4, 2026	CPython 3.13	CPython 3.13	Linux musl 1.2+ ARM64	Details
verifloat-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl 641.1 kB Oct 4, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64	Details
verifloat-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl 559.3 kB Oct 4, 2026	CPython 3.13	CPython 3.13	Linux glibc 2.28+ ARM64, Linux glibc 2.24+ ARM64	Details
verifloat-0.2.0-cp313-cp313-macosx_11_0_x86_64.whl 533.5 kB Oct 4, 2026	CPython 3.13	CPython 3.13	macOS 11.0+ x86-64	Details
verifloat-0.2.0-cp313-cp313-macosx_11_0_arm64.whl 483.2 kB Oct 4, 2026	CPython 3.13	CPython 3.13	macOS 11.0+ ARM64	Details
verifloat-0.2.0-cp312-cp312-win_amd64.whl 663.2 kB Oct 4, 2026	CPython 3.12	CPython 3.12	Windows x86-64	Details
verifloat-0.2.0-cp312-cp312-musllinux_1_2_x86_64.whl 1.8 MB Oct 4, 2026	CPython 3.12	CPython 3.12	Linux musl 1.2+ x86-64	Details
verifloat-0.2.0-cp312-cp312-musllinux_1_2_aarch64.whl 1.6 MB Oct 4, 2026	CPython 3.12	CPython 3.12	Linux musl 1.2+ ARM64	Details
verifloat-0.2.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl 641.1 kB Oct 4, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64	Details
verifloat-0.2.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl 559.3 kB Oct 4, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.24+ ARM64, Linux glibc 2.28+ ARM64	Details
verifloat-0.2.0-cp312-cp312-macosx_11_0_x86_64.whl 533.4 kB Oct 4, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ x86-64	Details
verifloat-0.2.0-cp312-cp312-macosx_11_0_arm64.whl 483.2 kB Oct 4, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ ARM64	Details

Total release size: 19.3 MB

Release files / verifloat-0.2.0.tar.gz

Download URL	verifloat-0.2.0.tar.gz
Size	402.7 kB
Tags	Source
SHA-256 checksum How to use checksums	`5391d978e0e4ef2aa8a51911effb236bfce5da89cb47d36a263bb45113f32989`
BLAKE2b-256 checksum How to use checksums	`3e09da21edcee91c8616ecb1f3b314331f9406181f809f985160523e8a45b9df`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0.tar.gz
SHA-256 checksum: 5391d978e0e4ef2aa8a51911effb236bfce5da89cb47d36a263bb45113f32989 Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-win_amd64.whl

Download URL	verifloat-0.2.0-cp314-cp314-win_amd64.whl
Size	681.5 kB
Tags	CPython 3.14 Windows x86-64
SHA-256 checksum How to use checksums	`f72a46d82126656ef28265bf2d49c9ffcd74d833fe3e476ad65046d8a3d96f95`
BLAKE2b-256 checksum How to use checksums	`776dd04ee8ca82844af72b0c58a37a2a19a9291987bc79f7fbe2af02fbc5245d`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-win_amd64.whl
SHA-256 checksum: f72a46d82126656ef28265bf2d49c9ffcd74d833fe3e476ad65046d8a3d96f95 Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-musllinux_1_2_x86_64.whl

Download URL	verifloat-0.2.0-cp314-cp314-musllinux_1_2_x86_64.whl
Size	1.8 MB
Tags	CPython 3.14 Linux musl 1.2+ x86-64
SHA-256 checksum How to use checksums	`b84faa085bf6e83cece21c88ca1ffbf62e393a704587a32268ad45f5f4148b45`
BLAKE2b-256 checksum How to use checksums	`e8f55a845cf9d565043093e840651880645d1e19fc38c9375d9a8b4332a7cea6`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-musllinux_1_2_x86_64.whl
SHA-256 checksum: b84faa085bf6e83cece21c88ca1ffbf62e393a704587a32268ad45f5f4148b45 Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-musllinux_1_2_aarch64.whl

Download URL	verifloat-0.2.0-cp314-cp314-musllinux_1_2_aarch64.whl
Size	1.6 MB
Tags	CPython 3.14 Linux musl 1.2+ ARM64
SHA-256 checksum How to use checksums	`65de4503b84ad968075eecefa4342a6ee4306e34d143be6a3459c26f3f8a6a9c`
BLAKE2b-256 checksum How to use checksums	`49b54fd3ed98b5dfd8af9c4e49736c462ff5cb532d162e209da9d72e63f99824`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-musllinux_1_2_aarch64.whl
SHA-256 checksum: 65de4503b84ad968075eecefa4342a6ee4306e34d143be6a3459c26f3f8a6a9c Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL	verifloat-0.2.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Size	641.4 kB
Tags	CPython 3.14 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`7d1a657029cc91a3bddd886921eba56dae039f26f1e31811a0efdabc69f6d9fe`
BLAKE2b-256 checksum How to use checksums	`9eb083dcc73b56c74a167120f352d11dc1affd4cd7222287ca38f22c8c6bfae0`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: 7d1a657029cc91a3bddd886921eba56dae039f26f1e31811a0efdabc69f6d9fe Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

Download URL	verifloat-0.2.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Size	559.8 kB
Tags	CPython 3.14 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`77904f6bcbaa7c16724927734be10c3fd2c2c8db6c7bf9d5d33acb1858d91412`
BLAKE2b-256 checksum How to use checksums	`f5895dce3a3b088565c8e572e3e88a418e8b0ec6a93b8010e1f4e9d741de3925`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: 77904f6bcbaa7c16724927734be10c3fd2c2c8db6c7bf9d5d33acb1858d91412 Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-macosx_11_0_x86_64.whl

Download URL	verifloat-0.2.0-cp314-cp314-macosx_11_0_x86_64.whl
Size	534.0 kB
Tags	CPython 3.14 macOS 11.0+ x86-64
SHA-256 checksum How to use checksums	`18c1db5ac3ca53fe9719f288f2cd361e050c653692cf0a0382e7f150df4e2666`
BLAKE2b-256 checksum How to use checksums	`75ba0b483c551fb8c66695d51cbce558f0878f52ea37846e7d74e4b7b766b76a`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-macosx_11_0_x86_64.whl
SHA-256 checksum: 18c1db5ac3ca53fe9719f288f2cd361e050c653692cf0a0382e7f150df4e2666 Verifying attestations

Release files / verifloat-0.2.0-cp314-cp314-macosx_11_0_arm64.whl

Download URL	verifloat-0.2.0-cp314-cp314-macosx_11_0_arm64.whl
Size	484.1 kB
Tags	CPython 3.14 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`9cecdac8537514470743647e27e70da985f6844043bfa8de8f045fdfff6bb562`
BLAKE2b-256 checksum How to use checksums	`04efa44608d963c05871d8b546e48bbfe3987ad8400d1fd9d5cc335e74b641c9`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp314-cp314-macosx_11_0_arm64.whl
SHA-256 checksum: 9cecdac8537514470743647e27e70da985f6844043bfa8de8f045fdfff6bb562 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-win_amd64.whl

Download URL	verifloat-0.2.0-cp313-cp313-win_amd64.whl
Size	663.2 kB
Tags	CPython 3.13 Windows x86-64
SHA-256 checksum How to use checksums	`594e56d48ada69b5fe63f10dd046f36132441f5dbf3e9d9337b795106177b657`
BLAKE2b-256 checksum How to use checksums	`cb61ce86f0545e19bd4f0fad33096fc43b6202f937c267f6f53531c22ba2390e`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-win_amd64.whl
SHA-256 checksum: 594e56d48ada69b5fe63f10dd046f36132441f5dbf3e9d9337b795106177b657 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-musllinux_1_2_x86_64.whl

Download URL	verifloat-0.2.0-cp313-cp313-musllinux_1_2_x86_64.whl
Size	1.8 MB
Tags	CPython 3.13 Linux musl 1.2+ x86-64
SHA-256 checksum How to use checksums	`5fd6d63ef5a65ed3a8b1c0087f027b0ce183b12525bfa4521a63e2230f9444b7`
BLAKE2b-256 checksum How to use checksums	`b2220e475652ad5e50ea8b92a9fe830387b9a8ad2165cb0ab57061652df34ec6`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-musllinux_1_2_x86_64.whl
SHA-256 checksum: 5fd6d63ef5a65ed3a8b1c0087f027b0ce183b12525bfa4521a63e2230f9444b7 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-musllinux_1_2_aarch64.whl

Download URL	verifloat-0.2.0-cp313-cp313-musllinux_1_2_aarch64.whl
Size	1.6 MB
Tags	CPython 3.13 Linux musl 1.2+ ARM64
SHA-256 checksum How to use checksums	`35caefb3cbb10654b1de6a4d63fc14ac98d31c8f4f31ef2b8cdabbfce04b4653`
BLAKE2b-256 checksum How to use checksums	`76d4e8ab0cedc00324b092b2429d6dab91a368eb5554978a6922797844e1e6d8`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-musllinux_1_2_aarch64.whl
SHA-256 checksum: 35caefb3cbb10654b1de6a4d63fc14ac98d31c8f4f31ef2b8cdabbfce04b4653 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL	verifloat-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Size	641.1 kB
Tags	CPython 3.13 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`a2758b42be3045ccca579283120adb2134a823c87c292439524d90a7cdc91c08`
BLAKE2b-256 checksum How to use checksums	`2ecc673a4122df3b955e4fd3285db4a8880fd20035025df765cd7c9c46603271`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: a2758b42be3045ccca579283120adb2134a823c87c292439524d90a7cdc91c08 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

Download URL	verifloat-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Size	559.3 kB
Tags	CPython 3.13 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`a405f84474d608a0cf72a4606f866d6e69d94460b08c37d07424ad9ff35bf6de`
BLAKE2b-256 checksum How to use checksums	`64c7dc6a5a079a6a21c7310f2e587dccc543cd94c085e4a8180870ee3f794483`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: a405f84474d608a0cf72a4606f866d6e69d94460b08c37d07424ad9ff35bf6de Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-macosx_11_0_x86_64.whl

Download URL	verifloat-0.2.0-cp313-cp313-macosx_11_0_x86_64.whl
Size	533.5 kB
Tags	CPython 3.13 macOS 11.0+ x86-64
SHA-256 checksum How to use checksums	`5552e565536033a72331f752dd0799b8b4d26c5a998a740c565d6815b6ae50e9`
BLAKE2b-256 checksum How to use checksums	`d58c26a4860b8d3f3b64ecf4804a037f9610e3dea4e6c4f83d8d177b0e369a5f`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-macosx_11_0_x86_64.whl
SHA-256 checksum: 5552e565536033a72331f752dd0799b8b4d26c5a998a740c565d6815b6ae50e9 Verifying attestations

Release files / verifloat-0.2.0-cp313-cp313-macosx_11_0_arm64.whl

Download URL	verifloat-0.2.0-cp313-cp313-macosx_11_0_arm64.whl
Size	483.2 kB
Tags	CPython 3.13 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`069114defbb2348ca715129ed158c90a4a54f69c806fd094b36a1fde90f4253c`
BLAKE2b-256 checksum How to use checksums	`7e5c70e76937af4447a66b95a66b69713a5983af300800412aca912a33b680ab`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp313-cp313-macosx_11_0_arm64.whl
SHA-256 checksum: 069114defbb2348ca715129ed158c90a4a54f69c806fd094b36a1fde90f4253c Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-win_amd64.whl

Download URL	verifloat-0.2.0-cp312-cp312-win_amd64.whl
Size	663.2 kB
Tags	CPython 3.12 Windows x86-64
SHA-256 checksum How to use checksums	`e027bd6778f31ea59bbf6f4e58c433ca810c7cf2ed3769358c6149f77a7788bb`
BLAKE2b-256 checksum How to use checksums	`0111d05028515ab682f58fe7bd5ae947b412dcea0b8921f555e3d680512cd3c2`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-win_amd64.whl
SHA-256 checksum: e027bd6778f31ea59bbf6f4e58c433ca810c7cf2ed3769358c6149f77a7788bb Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-musllinux_1_2_x86_64.whl

Download URL	verifloat-0.2.0-cp312-cp312-musllinux_1_2_x86_64.whl
Size	1.8 MB
Tags	CPython 3.12 Linux musl 1.2+ x86-64
SHA-256 checksum How to use checksums	`cc895566ef7e69779ac74f6080a394856000b440374276aef122535b04a412f2`
BLAKE2b-256 checksum How to use checksums	`5e3b42d28cb9fc355bf015922904575c195fe14b3c7e8a99a35c9220c3a5591d`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-musllinux_1_2_x86_64.whl
SHA-256 checksum: cc895566ef7e69779ac74f6080a394856000b440374276aef122535b04a412f2 Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-musllinux_1_2_aarch64.whl

Download URL	verifloat-0.2.0-cp312-cp312-musllinux_1_2_aarch64.whl
Size	1.6 MB
Tags	CPython 3.12 Linux musl 1.2+ ARM64
SHA-256 checksum How to use checksums	`152432c9f386dddde4dafb178f23ab00434b8c959538ed7a2d7fca37460a3558`
BLAKE2b-256 checksum How to use checksums	`17160192d48602e5783a36bf3c60e63bb01327f14b83df9df0c85706c920b722`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-musllinux_1_2_aarch64.whl
SHA-256 checksum: 152432c9f386dddde4dafb178f23ab00434b8c959538ed7a2d7fca37460a3558 Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL	verifloat-0.2.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Size	641.1 kB
Tags	CPython 3.12 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`bd99b260888052b4420b8a806921337dcdf9898a72fd9ef20f1e9a8a221ce6be`
BLAKE2b-256 checksum How to use checksums	`2c1e30b3de38ba9b1d82950695eb18041b8591d9f999b10c26addae89d70db5b`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
SHA-256 checksum: bd99b260888052b4420b8a806921337dcdf9898a72fd9ef20f1e9a8a221ce6be Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

Download URL	verifloat-0.2.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Size	559.3 kB
Tags	CPython 3.12 Linux glibc 2.24+ ARM64 Linux glibc 2.28+ ARM64
SHA-256 checksum How to use checksums	`e2e0e2edd591e3330b546e50eb30c6bacdc22a3ee36d40b9ca8f6b090b65a8de`
BLAKE2b-256 checksum How to use checksums	`9907463e7b2538c9128eae0f320dddc111ee383351ce629b8599b664d7f3e726`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
SHA-256 checksum: e2e0e2edd591e3330b546e50eb30c6bacdc22a3ee36d40b9ca8f6b090b65a8de Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-macosx_11_0_x86_64.whl

Download URL	verifloat-0.2.0-cp312-cp312-macosx_11_0_x86_64.whl
Size	533.4 kB
Tags	CPython 3.12 macOS 11.0+ x86-64
SHA-256 checksum How to use checksums	`89009a095238a93e2fc61bf74cfc77c32187a361f947169e5cabb1dfeec5833d`
BLAKE2b-256 checksum How to use checksums	`ffa30ee57f627cb3ec35a497bd4b5a04faa56c7f454616ab39c9aea91c590f3d`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-macosx_11_0_x86_64.whl
SHA-256 checksum: 89009a095238a93e2fc61bf74cfc77c32187a361f947169e5cabb1dfeec5833d Verifying attestations

Release files / verifloat-0.2.0-cp312-cp312-macosx_11_0_arm64.whl

Download URL	verifloat-0.2.0-cp312-cp312-macosx_11_0_arm64.whl
Size	483.2 kB
Tags	CPython 3.12 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`471530b66565dcaacc9b0d341d11e937bf933112d3ea1a6f976c698b04d339b1`
BLAKE2b-256 checksum How to use checksums	`b6fdc50b56eb7567debb838027720c1c2183afdf2e2e2c6c5bc4c7c2e64299f0`
Upload date	Oct 4, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/yeoshuyi/VeriFloat
Publishing commit: github.com/yeoshuyi/VeriFloat/tree/7b17999fa124be529616cb541a0ca083bffd5271

Workflow

Publishing configuration: github.com/yeoshuyi/VeriFloat/blob/7b17999fa124be529616cb541a0ca083bffd5271/.github/workflows/release.yml
Publishing logs: github.com/yeoshuyi/VeriFloat/actions/runs/37187771095/attempts/1

Artifact

Subject: verifloat-0.2.0-cp312-cp312-macosx_11_0_arm64.whl
SHA-256 checksum: 471530b66565dcaacc9b0d341d11e937bf933112d3ea1a6f976c698b04d339b1 Verifying attestations

Release history Release notifications | RSS feed

This release

0.2.0 This release

Oct 4, 2026 22 release files

VeriFloat 0.2.0

VeriFloat

Highlights

Installation

Quick start

In a cocotb testbench

From SystemVerilog

Documentation

Status

Contributing

License

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License expression

Requires

Tags

Classifiers

Metadata

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License expression

Requires

Tags

Classifiers

Release files for VeriFloat 0.2.0

Source distribution (sdist)

Built distributions (wheels)

Release files / verifloat-0.2.0.tar.gz

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-win_amd64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-musllinux_1_2_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-musllinux_1_2_aarch64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-macosx_11_0_x86_64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow

Artifact

Release files / verifloat-0.2.0-cp314-cp314-macosx_11_0_arm64.whl

Provenance

PyPI Publish Attestation

Identity

Workflow