sci-mathematics / easycrypt

Computer-Aided Cryptographic Proofs

Official package sites : https://github.com/EasyCrypt/easycrypt ·

EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs.

v2022.04_p20220505 :: 0/2022.04_p20220505 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
ocamlopt

v2022.04-r1 :: 0/2022.04 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
ocamlopt

v1.0_pre20220303-r1 :: 0/1.0_pre20220303 :: gentoo

Modified
License
CeCILL-B CeCILL-C
Keywords
~amd64
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / batteries : A community-maintained standard library extension

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / dune : A composable build system for OCaml

dev-ml / dune-build-info : Embed locations informations inside executable and libraries

dev-ml / dune-site : Embed locations informations inside executable and libraries

dev-ml / ocaml-inifiles : A small OCaml library to read and write .ini files

dev-ml / pcre-ocaml : Perl Compatibility Regular Expressions for O'Caml

dev-ml / yojson : JSON parsing and pretty-printing library for OCaml

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

sci-mathematics / why3 : Platform for deductive program verification

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / batteries : A community-maintained standard library extension

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / dune : A composable build system for OCaml

dev-ml / dune-build-info : Embed locations informations inside executable and libraries

dev-ml / dune-site : Embed locations informations inside executable and libraries

dev-ml / ocaml-inifiles : A small OCaml library to read and write .ini files

dev-ml / pcre-ocaml : Perl Compatibility Regular Expressions for O'Caml

dev-ml / yojson : JSON parsing and pretty-printing library for OCaml

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

sci-mathematics / why3 : Platform for deductive program verification

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: add Why3 constraints for older EC versions
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2022.04_p20220505
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2022.04
Closes: https://bugs.gentoo.org/841254 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: fix theories location; bump to EAPI 8
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: fix ocaml dependency
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/easycrypt: new package; add version 1.0_pre20211210
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>