Skip to main content

Browse the archive

Revision e9e27cce8a171ce033cd42abad598c27b07df555 authored by Valentin Chaboche on 13 September 2023, 10:43:35 UTC, committed by Marge Bot on 22 September 2023, 07:41:44 UTC 
EVM/Tezt: loop test
1 parent 262d346
Raw File
dune 
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name plonk)
 (public_name octez-libs.plonk)
 (instrumentation (backend bisect_ppx))
 (libraries
  repr
  hacl-star
  data-encoding
  octez-libs.bls12-381-polynomial
  octez-libs.plompiler
  str)
 (preprocess (pps ppx_repr))
 (flags
  (:standard)
  -open Octez_bls12_381_polynomial
  -open Plompiler))
back to top