package ff-pbt

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

Install

gitlab.com Readme Changelog MIT License Edit opam file

Authors

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

Maintainers

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

Sources

ocaml-ff-0.6.2.tar.gz
md5=fa68c430de8cba04fb8b7819e4cc4b38
sha512=2046126f30704c16bd2dcd735b7eb9b8a6c8751892f895e6c992b0ebb921f7d2c824b9507b74368e3b66b53330dc70a57e70633105b642d021710b34fbc54a5c

Description

Published: 10 Jun 2021

Dependencies (5)

  1. alcotest
  2. ff-sig = version
  3. zarith >= "1.9.1" & < "2.0"
  4. dune >= "2.7"
  5. ocaml >= "4.08"

Dev Dependencies (1)

  1. bisect_ppx with-test & >= "2.5"

Used by (4)

  1. bls12-381 >= "3.0.0" & < "6.1.0"
  2. bls12-381-legacy
  3. bls12-381-unix
  4. ff >= "0.6.2"

Conflicts

None