Skip to main content

Browse the archive

Revision 559910bc569e170874587bd9a56d4029673ed0fa authored by Benjamin Gregoire on 22 February 2022, 05:52:41 UTC, committed by Pierre-Yves Strub on 22 February 2022, 09:41:14 UTC 
Partially fix memory capture in substitutions
 
closes #130
1 parent ce4d8ca
Raw File
dune 
(dirs src theories examples scripts)

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