Jonathan Protzenko

icon indicating a website link https://jonathan.protzenko.fr

icon company Microsoft icon location Redmond, WA icon location This is my professional GitHub account to record my contributions with my @Microsoft (MS) employee hat on. My open-source work is done with the @protz hat on

Results 404 comments of Jonathan Protzenko

Compilation failures on CentOS 7 / Oracle Linux 7

@victor-dumitrescu is this still a use-case? this compiler is > 7 years old now

Support for NaCL's (libsodium's) hchacha20-based box

Is this still relevant? We're currently short on resources so there would have to be a significant integration and/or benefit for us to take the time to implement this. This...

Support for NaCL's (libsodium's) hchacha20-based box

Is the OCaml DNScrypt client used by any big projects out there? Trying to think about how to motivate this...

Mangled type names for pointer to tuple with only one non-erased component

@R1kM experienced this issue today... this is because originally, a struct type along with a name is introduced for the monomorphization of the pair type for arguments uint8 and unit....

Build with dune

Thanks, this is great to document. @victor-dumitrescu you authored a bunch of this, what do you think? do you think, in addition to ctypes.depend, that we should generate a dune...

Build with dune

> I will submit a commit directly on your branch that builds ctypes just like hacl-star-raw is built, and avoids that un-ergonomic dune build This is done. This means that...

Build with dune

Thanks Tahina, much appreciated.

Automatically ignore unused local variables

There is a function like this in LowStar.Ignore... not sure how it's compiled right now?

Automatically ignore unused local variables

I remember Tahina ran into the exact same problem and I wrote this for him ages ago

Automatically ignore unused local variables

Fixed in #384, #385