Skip to main content

Browse the archive

Revision 2505d15cebb7cf4e6fc94ad09144b056b0ee7061 authored by Pierre-Yves Strub on 12 May 2022, 08:02:04 UTC, committed by Pierre-Yves Strub on 12 May 2022, 08:02:04 UTC 
TC: reduction/cnv + various bug fixes
1 parent 02f8378
Raw File
dune 
(dirs src theories examples scripts)

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