Skip to main content

Browse the archive

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 
Birthday refinements
 
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
Raw File
dune 
(dirs src theories examples scripts)

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