Jonathan Protzenko
Jonathan Protzenko
https://github.com/project-everest/mitls-fstar/blob/master/src/windows/quiccrypto/makefile.vs#L22 this line doesn't work; I don't know how to do this in a visual studio makefile, short of calling into a .bat script; would anyone know how to make...
``` jonathan@genepi:~/Code/everest (master) $ mono vale/bin/vale.exe -h error processing file error: TODO: Implement command line help ```
``` obj/crypto/hashing/testsha256.c:34:3: warning: implicit declaration of function 'Sleep' [-Wimplicit-function-declaration] Sleep(200); // Sleep for 200ms ``` On Linux: ``` NAME sleep - sleep for a specified number of seconds SYNOPSIS #include...
Currently blocked on #98 -- so sending this as a PR rather than a direct push on the repository. This could probably use another pair of legal eyes...?
I think it's time for a general syntax for arbitrary function calls, not just built-in functions that each have their dedicated keywords. I would envision things such as ```catala definition...
Ideally, I would like things to look like this: ```catala declaration scope Test1: context taxpayer scope TaxPayer context return scope TaxReturn # This kind of mechanism should be limited to...
Based on a long discussion with @denismerigoux. Here's a Catala example: ``` definition bar under condition paragraph_a_applies consequence equals $0 definition foo under condition paragraph_a_applies consequence equals bar definition foo...
- Blake2 does not follow the Merkle-Damgard padding scheme -- there is no point in defining padding for Blake2... it's unused! - Lots of duplicated definitions are now gone. -...
This is on top of #615 so make sure to read the diff in there first. This touches a lot of areas in the code: - makes maximum length optional...
This is an ABI-breaking change that makes `update` return an error code, which is either Success or MaximumLengthExceeded (new). This also relieves the OCaml bindings from having to track this...