package ff-pbt

  1. Overview
  2. Docs
Property based testing library for finite fields over the package ff-sig

Install

Dune Dependency

Authors

Maintainers

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.

OCaml

Innovation. Community. Security.