Victor Dumitrescu
Victor Dumitrescu
**Describe the bug** A parse error (`Error: cannot parse file`) is thrown for this piece of code, particularly on the rest parameters in the first line: ``` api_obj[key_module][key_func] = function(...args)...
This issue has been raised before in the now archived [mirage/hacl](https://github.com/mirage/hacl/issues/46) package. Both distributions use gcc 4.8.5 and this seems to be the source of these issues: 1. lack of...
Blake2b and Blake2s have been included in the EverCrypt hashing interface, but only their portable C versions. This means that users wanting to use the fastest Blake2b implementations where possible...
Blake2b and Blake2s are now supported as agility arguments for EverCrypt HMAC and thus `is_supported_alg` returns true for them. According to the [docs](https://hacl-star.github.io/EverCryptDRBG.html) this should be the authoritative source of...
Required for https://github.com/hacl-star/hacl-star/pull/731
When using a combinator (e.g. clone) on the Freebase type provider, trying to access some properties doesn't work. Example: ``` fsharp res.``Science and Technology``.Chemistry.``Chemical Elements``.Individuals ``` results in Unexpected exception...
Support for the general Keccak function was removed here in https://github.com/hacl-star/hacl-star/pull/897 and correspondingly from the OCaml API in https://github.com/cryspen/hacl-packages/pull/461. This function is [used in Tezos](https://gitlab.com/tezos/tezos/-/blob/master/src/lib_hacl/hacl.ml#L129) to provide Keccak-256, which is...