https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 916f3ca970a0828d8318ee88f0409de4f8cdc52e authored by Christian Doczkal on 16 June 2021, 16:47:45 UTC
first part of Real/Ideal formulation of IND-CCA2
Tip revision: 916f3ca
dune
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top