Skip to main content

Browse the archive

Revision 3176e7703e9021d3f358393d14cf2495ddb4900a authored by François Dupressoir on 21 March 2022, 16:15:38 UTC, committed by François Dupressoir on 21 March 2022, 16:15:38 UTC 
force delta on convertibility checks
 
This resolves #154, but might require some more finesse.
In particular, perhaps we only want to force delta for top-level symbols?
1 parent b13fb54
Raw File
dune 
(dirs src theories examples scripts)

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