Antonin Reitz

icon indicating a website link https://areitz.fr/

icon company @INRIA (previously @PrincetonUniversity ) icon location PhD student at Inria Paris, France

Results 4 comments of Antonin Reitz

Fix Nix build header: F* and krml versions empty

> What problem are you trying to solve? Have you seen hash collisions? No, I haven't, and it remains very unlikely, even the Linux kernel keeps revision of length 12...

Fix Nix build header: F* and krml versions empty

Thanks for the hint!

SizeT: make SizeT.t a new type

Can confirm that StarMalloc's dist/ is left unchanged by this PR. Thanks for the ping Jonathan!

shbench Cannot be downloaded

As a workaround, https://web.archive.org/ can provide these files.