package ff-pbt
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 fieldImplement sub for
Ff.MakeFp
andFf.MakeFp2
Add
factor_power_of_two
inPRIME
module type and implement it inFf.MakeFp
.Add
sqrt
inPRIME
module type and implement it inFf.MakeFp
using Tonelli-Shanks algorithm.
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)">