Skip to main content

Browse the archive

Revision 6b5afaa5f6df01366b0f213859f9313391624af0 authored by Benjamin Gregoire on 07 October 2022, 10:01:32 UTC, committed by Benjamin Gregoire on 07 October 2022, 10:01:32 UTC 
Merge branch 'main' into deploy-expected-cost
2 parent s 8f9d979 + 63e4ead
Raw File
dune 
(dirs src theories examples scripts)

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