d-flex flex-column width-full">

[cryptolib] generalize PRF definitions, PRP<->PRF

2ca18f4

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Enforce single-commit PR on: pull_request

check-commit-count

Build documentation on: pull_request

build

deploy

EasyCrypt CI on: pull_request 2

Build Docker images

EasyCrypt compilation (nix)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (opam)

Check EasyCrypt Libraries (unit)

Check EasyCrypt Libraries (stdlib)

Check EasyCrypt Libraries (examples)

Check EasyCrypt External Projects (set-status)

Publish Docker images

Notification

check-commit-count

succeeded Jun 19, 2026 in 2s

Loading