Skip to main content
Revision a214a56a8d138704b1bb1f4390e61554b71b58e7 authored by Pierre-Yves Strub on 11 September 2023, 14:24:03 UTC, committed by Pierre-Yves Strub on 26 September 2023, 11:14:56 UTC
opsem: generate spec lemmas
1 parent 5e383f5
Raw File Download
dune 
(dirs src theories examples scripts)

(install
  (section (site (easycrypt commands)))
  (files (scripts/testing/runtest as runtest)))

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