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.

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

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 / 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

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

941624
sci-mathematics/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat
942566
sci-mathematics/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4
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>