Skip to main content

Browse the archive

Revision 63e4eadee2eacb9506a07e4a243c259aec513615 authored by Pierre-Yves Strub on 20 September 2022, 14:58:45 UTC, committed by Pierre-Yves Strub on 22 September 2022, 15:45:34 UTC 
[conv]: add case for program variables & globals
1 parent 80dba47
Raw File
dune 
(dirs src theories examples scripts)

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