upstream: https://github.com/mirage/mirage-crypto
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

rename xen (and Nocrypto_entropy_xen) to freestanding^H^Hmirage

authored by

Hannes Mehnert and committed by
pqwy
9db974be ce84f177

+7 -5
+2 -2
_oasis
··· 98 98 Findlibparent: nocrypto 99 99 Findlibname: xen 100 100 Build$: flag(xen) 101 - Modules: Nocrypto_entropy_xen 101 + Modules: Nocrypto_entropy_mirage 102 102 CSources: native/nocrypto.h, 103 103 native/misc.c, 104 104 native/hash/stubs.c, ··· 157 157 XOCamlbuildModules: src/Nocrypto, 158 158 unix/Nocrypto_entropy_unix, 159 159 lwt/Nocrypto_entropy_lwt, 160 - xen/Nocrypto_entropy_xen 160 + mirage/Nocrypto_entropy_mirage 161 161 Install: false 162 162 XOCamlbuildExtraArgs: -docflags -colorize-code,-charset,utf-8 163 163
+1 -1
doc/api.odocl
··· 3 3 src/Nocrypto 4 4 unix/Nocrypto_entropy_unix 5 5 lwt/Nocrypto_entropy_lwt 6 - xen/Nocrypto_entropy_xen 6 + mirage/Nocrypto_entropy_mirage 7 7 # OASIS_STOP
+1 -1
src/nocrypto.mli
··· 423 423 424 424 Suitable entropy sources are provided by sub-libraries 425 425 {{!Nocrypto_entropy_unix}nocrypto.unix}, {{!Nocrypto_entropy_lwt}nocrypto.lwt} 426 - and {{!Nocrypto_entropy_xen}nocrypto.xen}. Although this module exposes a more 426 + and {{!Nocrypto_entropy_mirage}nocrypto.xen}. Although this module exposes a more 427 427 fine-grained interface, allowing manual seeding of generators, this is intended 428 428 either for implementing entropy-harvesting modules, or very specialized 429 429 purposes. Users of this library should almost certainly use one of the above
+1
xen/nocrypto_entropy_mirage.ml
··· 1 + ../mirage/nocrypto_entropy_mirage.ml
+1
xen/nocrypto_entropy_mirage.mli
··· 1 + ../mirage/nocrypto_entropy_mirage.mli
xen/nocrypto_entropy_xen.ml mirage/nocrypto_entropy_mirage.ml
+1 -1
xen/nocrypto_entropy_xen.mli mirage/nocrypto_entropy_mirage.mli
··· 1 - (** {b RNG} seeding on {b Mirage/Xen}. 1 + (** {b RNG} seeding on {b Mirage}. 2 2 3 3 Calling {{!initialize}initialize} should be enough to get a seeded RNG. 4 4