Summary
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.
Versions
v2024.09 :: 0/2024.09 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64
- USE flags
- ocamlopt
v2024.01-r1 :: 0/2024.01 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / batteries : A community-maintained standard library extension
dev-ml / camlp-streams : Stream and Genlex libraries for use with Camlp4 and Camlp5
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 / num : Library for arbitrary-precision integer and rational arithmetic
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
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / batteries : A community-maintained standard library extension
dev-ml / camlp-streams : Stream and Genlex libraries for use with Camlp4 and Camlp5
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 / num : Library for arbitrary-precision integer and rational arithmetic
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
Bugs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2024.09
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: drop old 2023.09
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/easycrypt: restrict num to version <1.5
Closes: https://bugs.gentoo.org/935344 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2024.01
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/easycrypt: drop old 2022.04_p20230324
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2023.09
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: drop old 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: drop old 2022.04-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/easycrypt: bump to 2022.04_p20230324
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/easycrypt: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - 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>