Skip to content

GitLab

Add lift_functional_correctness 

This lemma makes proving simple properties about the deployed contract
state of a contract easier.
4 jobs for master in 4 minutes and 25 seconds (queued for 1 second)
f070d9cd
No related merge requests found.
Name Stage Failure
failed
coq:8.8 Build 
ocamlfind      1.8.1          A library manager for OCaml
opam-depext    1.1.3          Query and install external dependencies of OPAM packages
$ opam install coq-stdpp
The following actions will be performed:
  - install coq-stdpp      dev.2019-10-07.0.e35c9837
  - install conf-findutils 1
===== 2 to install =====
Do you want to continue? [Y/n] n
ERROR: Job failed: exit code 1
failed
coq:8.9 Build 
ocamlfind      1.8.1          A library manager for OCaml
opam-depext    1.1.3          Query and install external dependencies of OPAM packages
$ opam install coq-stdpp
The following actions will be performed:
  - install coq-stdpp      dev.2019-10-07.0.e35c9837
  - install conf-findutils 1
===== 2 to install =====
Do you want to continue? [Y/n] n
ERROR: Job failed: exit code 1