Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
05 April 2024, 19:20:55 UTC
Revision d809ef878b302f324c3d94eb1344b7e0e19e2a87 authored by François Dupressoir on 13 April 2021, 15:50:46 UTC, committed by François Dupressoir on 13 April 2021, 15:50:46 UTC 
StdLib: use bigops in generic Hybrid
 
This instantiates BigOp for Booleans (with xor, or, and and) and gets rid of
the old Monoid library, which Hybrid arguments relied upon.

Some proof cleaning left to do in Hybrid, Indist, and PKE_Hybrid.
1 parent 1b25ed4
Raw File
Tip revision: d809ef878b302f324c3d94eb1344b7e0e19e2a87 authored by François Dupressoir on 13 April 2021, 15:50:46 UTC
StdLib: use bigops in generic Hybrid
Tip revision: d809ef8
opam 
opam-version: "2.0"
maintainer: "pierre-yves@strub.nu"
homepage: "https://www.easycrypt.info/"
bug-reports: "https://www.easycrypt.info/trac/newticket"
dev-repo: "git+https://github.com/EasyCrypt/easycrypt.git"
authors: "EasyCrypt Development Team <team@easycrypt.info>"
license: "CeCILL-C"
build: [
  [make "OCAMLBUILD_ECJOBS=%{jobs}%"]
]
install: [
  [make "PREFIX=%{prefix}%" "install"]
]
remove: [
  [make "PREFIX=%{prefix}%" "uninstall-purge"]
]
depends: [
  "ocaml"
  "batteries" {>= "2.3"}
  "camlzip"
  "menhir" {>= "20150921"}
  "pcre" {>= "7"}
  "why3" {>= "1.4" & < "1.5"}
  "ocaml-inifiles" {>= "1.2"}
  "zarith"
  "ocamlbuild"
  "ocamlfind"
  "yojson"
]
post-messages: [
"EasyCrypt needs external provers to be installed. From opam, you
can install AltErgo (package: alt-ergo).

The required steps for configuring the provers are listed on:
  https://github.com/EasyCrypt/easycrypt#configuring-why3"
]
synopsis: "EasyCrypt: Computer-Aided Cryptographic Proofs"
url {
  src: "git+https://github.com/EasyCrypt/easycrypt.git"
}
back to top