Skip to main content

Browse the archive

Revision f8ac740389d56018dc6b056e365731e5f75a009d authored by Gustavo Delerue on 07 May 2024, 19:43:42 UTC, committed by Gustavo Delerue on 07 May 2024, 19:43:42 UTC 
WIP - added option to not expand abbrevs, need to fix strange print behaviour
1 parent 11948bd
Raw File
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)))
back to top