https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: f89ce0747dd04c0f3559e1aa1daea211efe94549 authored by Antoine Séré on 17 March 2023, 14:32:04 UTC
Bug equal and hash fixed
Tip revision: f89ce07
dune
(dirs src theories examples scripts)

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