Revision 2075873964476cccac0722f071bfaf1252c3c2ac authored by François Dupressoir on 10 May 2022, 11:31:18 UTC, committed by François Dupressoir on 11 May 2022, 08:29:14 UTC
Allows prameterised sampling and bounding of collisions up to a function The query bound is now provided as a lemma parameter unless the oracles enforce the query bound.
1 parent de42d06
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
Computing file changes ...