package ff-pbt

You can search for identifiers within the package.

in-package search v0.2.0

Property based testing library for finite fields over the package ff-sig

Install

Dune Dependency

gitlab.com Readme Changelog MIT License Edit opam file Versions (4)

Authors

D

Danny Willems <be.danny.willems@gmail.com>

Maintainers

D

Danny Willems <be.danny.willems@gmail.com>

Sources

ocaml-ff-0.6.2.tar.gz

md5=fa68c430de8cba04fb8b7819e4cc4b38

sha512=2046126f30704c16bd2dcd735b7eb9b8a6c8751892f895e6c992b0ebb921f7d2c824b9507b74368e3b66b53330dc70a57e70633105b642d021710b34fbc54a5c

CHANGES.md.html

Unreleased

0.6.1

Changes

Add ff-bench
Trunk test names to 100 characters to avoid ENAMETOOLONG error raised by alcotest

0.6.0

Changes

Add CHANGES.md
Add dune-release-distrib job in CI
Add sub in signature of a base field
Implement sub for Ff.MakeFp and Ff.MakeFp2
Add factor_power_of_two in PRIME module type and implement it in Ff.MakeFp.
Add sqrt in PRIME module type and implement it in Ff.MakeFp using Tonelli-Shanks algorithm.