Etienne Millon
Etienne Millon
Hi, I've been experimenting with removing mutable state from the formatting parts of ocamlformat. Here's a brain dump of my understanding before I forget. At the moment, formatting uses mutable...
Hi, GCM accepts the IV of length 0 and can use it to encrypt data. Quoting Wycheproof tests, this should be rejected with an error: > AES-GCM does not allow...
Hi, It looks like CCM decryption does not correctly handle the case when the ciphertext is empty. This happens when there is AAD and when there is not. In the...
Hi, When encrypting in CCM mode, if the nonce is too short, it triggers an assertion failure. In contrast, the corresponding error message when decrypting is a nicer `invalid_arg "CCM:...
Hi, When using CCM, the computed tag is different when no AAD is passed and when an empty AAD is passed: ```ocaml let () = let key = Cstruct.of_hex "00...
This fixes compilation to Xen unikernels. cc @hannesm Thanks!
Hi, I'm calling the following function in a loop I'm calling this function in a loop (it's loading a bunch of opam files from a checkout of opam-repository). ```ocaml let...
When there is an error in the command line (such as an unknown option), this displays the command name instead of just the executable name. This is visible in the...
- Add promotion group and "promotion run" = promote This generalizes `dune promote`. Commands that manipulate the promotion db can be attached to `dune promotion`. `dune promotion run` is added...
Closes #5650