dkm
dkm
Dune
Once this goes in, there is no cross-compilation for mirage. What is the current story? @avsm
A bunch of sources, and some working code, has provisions to destroy crypto material (eg. by overwriting it). I guess the underlying logic is that if an adversary is sleeping...
- GF2^128 - Two boxed Int64s are bad. - Multiplication is quadratic in polynomial size. Wield mean high-school techniques to make it faster. - Might move GF treatment to C....
We match pycrypto (and published tests) on the first run, not on subsequent ones. Apparently our re-keying strategy differs. Match other people's.
Presently, `topkg` knows that ``` let lint_deps_default_excludes = let exclude = ["ocamlfind"; "ocamlbuild"; "topkg"] in ``` can be mentioned in `opam` but not in `_tags`, so every additional build tool...
There is a bunch of issues stemming from limitations in OID representation. OID code needs to be checked against everything mentioned in this [list](https://www.viathinksoft.de/~daniel-marschall/asn.1/oid_facts.html). Thanks to @andreas23. See #2.