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.1.tar.gz

md5=5853a7487785160bbcf0919f13ace049

sha512=c2e4d3d495a0fe6a5e52ac668d6f7694c7b9161bd0c6fc97cb6ed714a211c397a561feac8c2ea5738182809936c5f8f6e1e64696b0e0f9b3d19e309aa62dd4de

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.