https://gitlab.com/tezos/tezos
Raw File
Tip revision: 7ed544747b4b377cbfb7d295dc87be63026dc454 authored by Philippe Wang on 17 July 2023, 21:19:00 UTC
Proto/AI: rename baking_over_staking_edge_billionth -> edge_of_baking_over_staking_billionth
Tip revision: 7ed5447
tezos-protocol-environment.opam
# This file was automatically generated, do not edit.
# Edit file manifest/main.ml instead.
opam-version: "2.0"
maintainer: "contact@tezos.com"
authors: ["Tezos devteam"]
homepage: "https://www.tezos.com/"
bug-reports: "https://gitlab.com/tezos/tezos/issues"
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
license: "MIT"
depends: [
  "dune" { >= "3.0" }
  "ocaml" { >= "4.14.0" & < "4.15" }
  "tezos-stdlib"
  "tezos-crypto"
  "tezos-lwt-result-stdlib"
  "tezos-scoru-wasm"
  "data-encoding" { >= "0.7.1" & < "1.0.0" }
  "bls12-381" { >= "6.1.0" & < "6.2.0" }
  "octez-plonk"
  "zarith" { >= "1.12" & < "1.13" }
  "zarith_stubs_js"
  "tezos-crypto-dal"
  "class_group_vdf" { >= "0.0.4" }
  "aches" { >= "1.0.0" }
  "aches-lwt" { >= "1.0.0" }
  "tezos-base"
  "tezos-sapling"
  "tezos-micheline"
  "tezos-context"
  "tezos-event-logging"
  "tezt" { with-test & >= "3.1.1" }
  "octez-alcotezt" {with-test}
  "tezos-test-helpers" {with-test}
  "qcheck-alcotest" { with-test & >= "0.20" }
  "lwt" { with-test & >= "5.6.0" }
]
build: [
  ["rm" "-r" "vendors" "contrib"]
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
synopsis: "Interface layer between the protocols and the shell"
description: "The protocol-environment is a two-sided component sitting between the shell and
the protocols.

On one side, it provides a restricted typing environment to compile the
protocols against. This is a series of modules which replace the standard
library of OCaml. These modules purposefully omit many functionalities, thus
preventing the protocols from, say, directly writing to disk.

On the other side, it provides the shell with specific call-sites in the
protocols. These are the only entry-points into the otherwise black-box
protocols."
back to top